Add DAG-based kernel typechecker#300

Open

johnchandlerburnham wants to merge 11 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