blob: f08519806032384c8225ba93d22f33f5fad913f2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
name: verify-hs
version: 0.1.0.0
synopsis: Interactive equational reasoning system for Haskell
license: MIT
license-file: LICENSE
author: Tom Smeding
maintainer: tom.smeding@gmail.com
copyright: (c) Tom Smeding, 2019
build-type: Simple
cabal-version: >=1.10
executable verify-hs
main-is: Main.hs
other-modules:
Haskell.AST
Haskell.Env
Haskell.Env.Cmd
Haskell.Env.Context
Haskell.Parser
Haskell.Rewrite
Pretty
Util
build-depends:
base >=4.12 && <4.14,
containers >=0.6.0.1 && <0.7,
mtl >=2.2.2 && <2.3,
parsec >=3.1.13.0 && <3.2
hs-source-dirs: src
ghc-options: -Wall -O2
default-language: Haskell2010
default-extensions:
LambdaCase
TupleSections
|