homepage: ''
changelog-type: markdown
hash: 422b02411827ac8551965ce0dcff8c0741df57a933da0f7a9bba02a5518cc9c9
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.1'
  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: 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

Update from Hackage at 2018-07-07T10:13:50Z
Update from Hackage at 2018-07-07T10:13:50Z
