@hackage / Delta-Lambda

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

Latest0.3.0.0

Changelog

This release does not have a Changelog