sweirich / pi-forall

A demo implementation of a simple dependently-typed language
563Updated this week

Related projects

Alternatives and complementary repositories for pi-forall