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