cabal-version: >= 1.6
name:          pisigma
version:       0.1.0.2
license:       BSD3
license-file:  LICENSE
data-files:    examples/*.pi
author:        Thorsten Altenkirch <txa@cs.nott.ac.uk>,
               Andres Loeh <kspisigma@andres-loeh.de>
maintainer:    Thorsten Altenkirch <txa@cs.nott.ac.uk>,
               Andres Loeh <kspisigma@andres-loeh.de>
description:   dependently typed core language
synopsis:      dependently typed core language
category:      Development, Language, Dependent Types
build-type:    Simple

executable pisigma
  main-is:       PiSigma.hs
  other-modules: PiSigma.Check
                 PiSigma.Equality
                 PiSigma.Evaluation
                 PiSigma.Nf
                 PiSigma.Parser
                 PiSigma.Print
                 PiSigma.Syntax
  hs-source-dirs:src
  build-depends: base >= 4 && < 5,
                 array >= 0.2 && < 0.3,
                 mtl >= 1.1 && < 1.2,
                 haskeline >= 0.6 && < 0.7,
                 parsec >= 3 && < 4,
                 ansi-wl-pprint >= 0.5 && <1