summaryrefslogtreecommitdiff
path: root/agda-simplifier.cabal
blob: d5ce798788cf4600dcc3b32e52977593983425e5 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
cabal-version:       >=1.10
name:                agda-simplifier
synopsis:            Simplifier for certain Agda expressions
version:             0.1.0.0
license:             MIT
author:              Tom Smeding
maintainer:          tom@tomsmeding.com
build-type:          Simple

executable agda-simplifier
  main-is:             Main.hs
  other-modules: Expr, Parser, Normalise
  build-depends:
    base >= 4.16 && < 4.19,
    parsec
  hs-source-dirs:      .
  default-language:    Haskell2010
  ghc-options:         -Wall -threaded