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