homepage: ''
changelog-type: markdown
hash: adbd35f0cf7899194169b9699d05a2e4a58d7462194fb95eb00f061731340511
test-bench-deps: {}
maintainer: ltvanbinsbergen@acm.org
synopsis: Basic call-by-value lambda-calculus with operational semantics based on
  Funcons
changelog: ! '# Revision history for lambda-cbv


  ## 0.1.0.0  -- YYYY-mm-dd


  * First version. Released on an unsuspecting world.

'
basic-deps:
  gll: ! '>=0.4.0.3'
  funcons-tools: ! '>=0.2.0.3'
  base: ! '>=4.9 && <=5.0'
  text: ! '>=1.2.2'
  containers: ! '>=0.5.7'
all-versions:
- '0.1.0.0'
author: L. Thomas van Binsbergen
latest: '0.1.0.0'
description-type: haddock
description: ''
license-name: BSD3

homepage: ''
changelog-type: markdown
hash: aa4f6733c147d745de479bda6693c03258e2142ce9cdbce1b503b3fca86b9c2c
test-bench-deps: {}
maintainer: ltvanbinsbergen@acm.org
synopsis: call-by-value lambda-calculus with meta-programming
changelog: ! '# Revision history for lambda-cbv


  ## 0.1.0.0  -- YYYY-mm-dd


  * First version. Released on an unsuspecting world.

'
basic-deps:
  gll: ! '>=0.4.0.3'
  funcons-tools: ! '>=0.2.0.5'
  base: ! '>=4.9 && <=5.0'
  text: ! '>=1.2.2'
  containers: ! '>=0.5.7'
all-versions:
- '0.1.0.0'
- '0.1.0.2'
author: L. Thomas van Binsbergen
latest: '0.1.0.2'
description-type: text
description: ! "Tested on Ubuntu 14.04\n\nINSTALL\n\n   cabal build\n\nRUN\n\n   dist/build/lambda-cbv/lambda-cbv
  <PATH>\n\nFor example: dist/build/lambda-cbv/lambda-cbv programs/fib-double-cbna.cbv\n\nTESTS\n\n
  \  ./run-tests.sh\n\nshould produce the same output provided in full.output\n"
license-name: BSD3

Update from Hackage at 2018-07-08T10:25:40Z
Update from Hackage at 2018-07-08T10:25:40Z
