name: pcf version: 0.1.0.0 synopsis: A one file compiler for PCF description: 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 . license: MIT license-file: LICENSE author: Danny Gratzer maintainer: jozefg@cmu.edu category: Compiler build-type: Simple extra-source-files: README.md data-files: src/preamble.c cabal-version: >=1.10 source-repository head type: git location: http://github.com/jozefg/pcf library hs-source-dirs: src exposed-modules: Language.Pcf other-modules: Paths_pcf build-depends: base >=4.0 && <5 , bound == 1.* , c-dsl , containers >= 0.5 , monad-gen , mtl == 2.* , prelude-extras , transformers , void default-language: Haskell2010