Delta-Lambda: A demonstration interpreter for type system delta-lambda (of N.G. De-bruijn)
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.
Flags
Automatic Flags
Name | Description | Default |
---|---|---|
debug | Enable debugging | Disabled |
Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info
Downloads
- Delta-Lambda-0.1.0.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
- No Candidates
Versions [RSS] | 0.1.0.0, 0.2.0.0, 0.3.0.0 |
---|---|
Dependencies | base (>=4.8 && <4.9), bytestring (>=0.10.6.0), cereal (>=0.5 && <0.6), cpphs (>=1.20), filepath (>=1.4.0.0), haskeline (>=0.7 && <0.8), megaparsec (>=5.0 && <5.1), mtl (>=2.2 && <2.3), options (>=1.2 && <1.3), parallel (>=3.2 && <3.3), text (>=1.2.2.0), wl-pprint (>=1.2) [details] |
License | MIT |
Author | James M |
Maintainer | listofoptions@gmail.com |
Category | Compilers/Interpreters |
Uploaded | by listofoptions at 2016-05-31T14:50:17Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Executables | Delta-Lambda |
Downloads | 2695 total (13 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs not available [build log] All reported builds failed as of 2016-11-24 [all 2 reports] |