@hackage / Delta-Lambda

A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn)

0.3.0.0

Security Advisories

No advisories found.