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 <http://jozefg.bitbucket.org/posts/2015-03-24-pcf.html writeup>.
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