The pcf package
PCF is a small programming language with higher order functions, natural numbers, and recursion. It is statically tpyed and turing complete (general recursion and all that). This compiler transformers a PCF expression into a file of C code that when run outputs the answer. It is mostly intended as a demonstration of how to write such a compiler. The curious reader should look at the writeup.
[Skip to ReadMe]
|Versions||0.1.0.0, 0.1.0.1, 0.1.0.1|
|Dependencies||base (>=4.0 && <5), bound (==1.*), c-dsl, containers (>=0.5), monad-gen, mtl (==2.*), prelude-extras, transformers, void [details]|
|Source repository||head: git clone http://github.com/jozefg/pcf|
|Uploaded||Fri Apr 3 16:05:38 UTC 2015 by jozefg|
For package maintainers and hackage trustees