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

[ compilers-interpreters, mit, program ] [ Propose Tags ]

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.

Versions [faq],,
Dependencies base (==4.8.*), bytestring (>=, cereal (==0.5.*), cpphs (>=1.20), filepath (>=, haskeline (==0.7.*), megaparsec (==5.0.*), mtl (==2.2.*), options (==1.2.*), parallel (==3.2.*), text (>=, wl-pprint (>=1.2) [details]
License MIT
Author James M
Category Compilers/Interpreters
Uploaded by listofoptions at 2016-05-31T14:50:17Z
Distributions NixOS:
Executables Delta-Lambda
Downloads 2248 total (15 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs not available [build log]
All reported builds failed as of 2016-11-24 [all 2 reports]



Enable debugging


Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info


Maintainer's Corner

For package maintainers and hackage trustees