-- Initial lambda-cbv.cabal generated by cabal init.  For further 
-- documentation, see http://haskell.org/cabal/users-guide/

name:                funcons-lambda-cbv-mp
version:             0.1.0.0
x-revision: 1
synopsis:            Basic call-by-value lambda-calculus with operational semantics based on Funcons
-- description:         
license:             BSD3
license-file:        LICENSE
author:              L. Thomas van Binsbergen
maintainer:          ltvanbinsbergen@acm.org
-- copyright:           
category:            Language
build-type:          Simple
extra-source-files:  ChangeLog.md
cabal-version:       >=1.10

executable lambda-cbv
  main-is:             Main.hs
  other-modules:       LambdaCBV.Parser 
  -- other-extensions:    
  build-depends:        base >=4.9 && <= 5.0
                      , gll >= 0.4.0.3
                      , funcons-tools >= 0.2.0.3
                      , containers >= 0.5.7
                      , text >= 1.2.2
  hs-source-dirs:      src
  default-language:    Haskell2010