-- 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.2
synopsis: call-by-value lambda-calculus with meta-programming
description: Basic call-by-value lambda-calculus with operational semantics based on Funcons and meta-programming extensions
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
programs/*.cbv
run-tests.sh
full.output
README.txt
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.5
, containers >= 0.5.7
, text >= 1.2.2
hs-source-dirs: src
default-language: Haskell2010