@hackage Delta-Lambda0.2.0.0
A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn)
Categories
License
MIT
Maintainer
listofoptions@gmail.com
Links
Versions
Installation
Dependencies (0)
Dependents (1)
@hackage/acme-everything
Package Flags
debug
(off by default)
Enable debugging
A demonstration package for the type system delta-lambda (of N.G. De-bruijn) in ~1000 lines of haskell. this is at the moment exceptionally ALPHA level software. no tests for the validity of the type checker (only the type synthesizer), or the parser, or the repl, etc... there are dragons in here (soon to be tamed), and lots of them! todo: profiling, unit testing, formal verification of type correctness adequacy proof of the implemented type system.