type-theory.cabal

cabal-version:       >=1.10
-- Initial package description 'type-theory.cabal' generated by 'cabal
-- init'.  For further documentation, see
-- http://haskell.org/cabal/users-guide/

name:                type-theory
version:             0.5.0.0
-- synopsis:
-- description:
-- bug-reports:
-- license:
license-file:        LICENSE
author:              Catisfluffy
maintainer:          catisfluffy@hladkyschool.org
-- copyright:
-- category:
build-type:          Simple
extra-source-files:  CHANGELOG.md

executable type-theory
  main-is:             Main.hs
  other-modules:
    Term
    NbE
    TypedTerm
    Typechecker
    Parser
    Repl
    Erase
  -- other-extensions:
  build-depends:
    base >=4.14 && <4.15,
    parsec >=3.0 && <3.1.15,
    transformers >=0.5 && <0.5.6.3,
    mtl >=2.0 && <2.2.3
  -- hs-source-dirs:
  default-language:    Haskell2010