Name: pi-forall
Version: 0.1.1
License: BSD3
License-file: LICENSE
Copyright: (c) 2013-2016 University of Pennsylvania
Description: An implementation of a simple dependently typed language for OPLSS 2013
Author: Stephanie Weirich <sweirich@cis.upenn.edu>, based on code by Trellys Team <trellys@...>
Maintainer: Stephanie Weirich <sweirich@cis.upenn.edu>
Cabal-Version: >= 1.8
Build-type: Simple
tested-with: GHC == 7.8.4, GHC == 7.10.3, GHC == 8.0.1
Category: Compilers/Interpreters
Homepage: https://github.com/sweirich/pi-forall
Synopsis: Demo implementation of typechecker for dependently-typed language

                    
library
  hs-source-dirs: src/
  Exposed-modules: Syntax
                   Parser
                   TypeCheck
                   Main
  Build-depends:  base >= 4 && < 5,
                  parsec >= 3.1.8 && < 3.2,
                  mtl >= 2.2.1,
                  pretty >= 1.0.1.0,
                  unbound-generics >= 0.2,
                  transformers,
                  array >= 0.3.0.2 && < 0.6,
                  containers,
                  directory,
                  filepath,
                  HUnit,
                  QuickCheck
                  
                  
executable pi-forall
  hs-source-dirs: src/
  Main-is: Main.hs
  Build-depends: base >=4,
                 parsec >= 3.1.8 && < 3.2,
                 mtl >= 2.2.1,
                 pretty >= 1.0.1.0,
                 unbound-generics >= 0.2,
                 transformers,
                 array >= 0.3.0.2 && < 0.6,
                 containers,
                 directory,
                 filepath,
                 HUnit,
                 QuickCheck
  Ghc-Options:  -Wall -fno-warn-unused-matches