hazel's dependent typing playground, I guess
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
 
 

31 lines
861 B

cabal-version: >=1.10
name: dep
version: 0.1.0.0
license: AGPL-3.0-only
license-file: LICENSE
author: hazel levine
maintainer: hazel@knightsofthelambdacalcul.us
copyright: 2021 Hazel Levine
build-type: Simple
extra-source-files: CHANGELOG.md
library
build-depends: base >=4.13 && <4.14,
text,
containers,
transformers,
parsec,
mtl
hs-source-dirs: src
ghc-options: -Wall
exposed-modules: Dep.Parse,
Dep.Syntax,
Dep.DeBruijn
executable dep
main-is: Main.hs
build-depends: base >=4.13 && <4.14
hs-source-dirs: exe
ghc-options: -Wall
default-language: Haskell2010