Expand description
Trusted type checking kernel
This is the minimal trusted core that verifies all terms. No term is accepted into the environment unless it passes these checks, ensuring logical soundness.
Structsยง
- Type
Checker - Type checker (trusted kernel)