Cabal revisions of funcons-lambda-cbv-mp-0.1.0.0
Hackage metadata revisions edit the .cabal file after upload; each diff below is one revision.
revision 1
--- 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-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.1- , containers >= 0.5.7- , text >= 1.2.2- hs-source-dirs: src- default-language: Haskell2010+-- 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