Add kernel typechecker#300

Open

johnchandlerburnham wants to merge 16 commits intomainfrom

jcb/rust-kernel

Commits on Feb 6, 2026

Add DAG-based kernel typechecker
johnchandlerburnham
committed

Commits on Feb 15, 2026

Merge branch 'main' of github.com:argumentcomputer/ix into jcb/rust-kernel
johnchandlerburnham
committed

Commits on Mar 2, 2026

Rewrite Lean kernel from NbE to environment-based substitution
johnchandlerburnham
committed
Add EquivManager, inferOnly mode, and isDefEq optimizations
johnchandlerburnham
committed
Make positivity checking monadic with whnf and nested inductive support
johnchandlerburnham
committed

Commits on Mar 3, 2026

Commits on Mar 5, 2026

Commits on Mar 6, 2026

Commits on Mar 9, 2026

Add Kernel2 NbE type checker and improve Kernel1 level/whnf handling
johnchandlerburnham
committed