cabal-version: 2.4 name: lambda version: 0.1.0.0 author: Owen Bechtel maintainer: ombspring@gmail.com category: Compilers/Interpreters synopsis: Interpreters for lambda calculus, calculus of constructions, and more description: A collection of interpreters, type checkers, and REPLs implemented in Haskell. Currently, the following languages are supported: . * Untyped lambda calculus * SK combinator calculus * System F * Hindley-Milner type system * Calculus of constructions . You can access the different REPLs by passing an argument to the executable: "lambda", "sk", "systemf", "hm", or "coc". For more information, see the manual below. homepage: https://github.com/UnaryPlus/lambda bug-reports: https://github.com/UnaryPlus/lambda/issues license: MIT license-file: LICENSE extra-source-files: CHANGELOG.md, README.md source-repository head type: git location: https://github.com/UnaryPlus/lambda.git executable lambda hs-source-dirs: app default-language: Haskell2010 ghc-options: -Wall main-is: Main.hs other-modules: Util, Lambda, CoC, SystemF, SK, HM build-depends: base >= 4.11 && < 5, parsec >= 3.1.6 && < 3.2, text >= 0.7 && < 2.1, containers >= 0.5 && < 0.7, mtl >= 2.2.1 && < 2.3