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.
|
|
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
|