sweirich / pi-forall

A demo implementation of a simple dependently-typed language
591Updated 4 months ago

Alternatives and similar repositories for pi-forall:

Users that are interested in pi-forall are comparing it to the libraries listed below