Untyped λ-calculus engine in Haskell
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.
 

37 lines
937 B

name: lcalc
version: 0.1.0.0
-- synopsis:
-- description:
homepage: https://git.annnwan.me/annwan/lcal
license: BSD3
license-file: LICENSE
author: Annwan
maintainer: annwan@annwan.me
copyright: 2023 Annwan
build-type: Simple
cabal-version: >=1.10
extra-source-files: README.md
executable lcalc
hs-source-dirs: src
main-is: Main.hs
default-language: Haskell2010
build-depends: base >= 4.7 && < 5
, lcalc
ghc-options: -Wall
-Wcompat
-Widentities
-Wincomplete-record-updates
-Wincomplete-uni-patterns
-Wmissing-export-lists
-Wmissing-home-modules
-Wpartial-fields
-Wredundant-constraints
library
hs-source-dirs: src
exposed-modules: LCalc.Term
build-depends: base >= 4.7 && < 5
, text
default-language: Haskell2010