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
|
