Stars
fp && tt
9 repositories
Benchmarking various normalization algorithms for the lambda calculus
A demo implementation of a simple dependently-typed language
Minimal implementations for dependent type checking and elaboration
mirror of A simple type-theoretic language: Mini-TT