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 , based on code by Trellys Team Maintainer: Stephanie Weirich 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