sweirich / pi-forall

A demo implementation of a simple dependently-typed language
563Updated 3 months ago

Related projects

Alternatives and complementary repositories for pi-forall