hackage.haskell.org : Delta-Lambda
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.
Registry
-
Source
- JSON
purl: pkg:hackage/Delta-Lambda
Keywords:
compilers-interpreters
, mit
, program
, Propose Tags
License: MIT
Latest release: about 8 years ago
First release: about 9 years ago
Downloads: 2,781 total
Last synced: about 1 month ago