Skip to main content

Dependent types

Magmide, TeenyTT & Kind look interesting.

How to implement dependent types in 80 lines of code is good read.

Elaboration Zoo has great dependent type checker implementations.