@hackage / pi-forall

Demo implementation of typechecker for dependently-typed language

0.1.1

Security Advisories

No advisories found.