The pcf package
This is a package candidate release! Here you can preview how this package release will appear once published to the main package index (which can be accomplished via the 'maintain' link below). Please note that once a package has been published to the main package index it cannot be undone! Please consult the package uploading documentation for more information.
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|
|Change log||None available|
|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