i-am-tom / LICK

Idris-written, correct-by-construction, simply-typed lambda calculus.
39Updated 6 years ago

Related projects

Alternatives and complementary repositories for LICK