homepage: ''
changelog-type: ''
hash: 2297bd0eafa188e64598a78b0f4be44c8827f77e2563785049bcb8b0ff938443
test-bench-deps: {}
maintainer: emw4@rice.edu
synopsis: A library for canonically representing terms with binding
changelog: ''
basic-deps:
  base: ! '>=4 && <5'
  type-equality: -any
  syb: -any
  tagged: -any
  haskell-src-exts: -any
  th-expand-syns: ! '>=0.3 && <0.4'
  mtl: -any
  transformers: -any
  deepseq: -any
  haskell-src-meta: ! '>=0.5.1.1'
  template-haskell: ! '>=2.5 && <2.9'
all-versions:
- '1.0'
- '1.1'
- '1.1.1'
author: Eddy Westbrook, Nicolas Frisby, Paul Brauner
latest: '1.1.1'
description-type: haddock
description: ! 'A library for canonically representing terms with binding via a

  constructor for introducing fresh names and a restricted API that avoids the

  need for alpha-equivalence.'
license-name: BSD3

homepage: ''
changelog-type: ''
hash: 1b45b53f989e642dc357db2e711e19ffa54014206c19ee516d4ad063df07b600
test-bench-deps: {}
maintainer: westbrook@galois.com
synopsis: A library for canonically representing terms with binding
changelog: ''
basic-deps:
  base: ! '>=4.7 && <4.9'
  syb: -any
  tagged: -any
  haskell-src-exts: ! '>=1.17.1 && <1.18'
  th-expand-syns: ! '>=0.3 && <0.4'
  mtl: -any
  transformers: -any
  deepseq: -any
  haskell-src-meta: -any
  template-haskell: ! '>=2.9 && <2.11'
all-versions:
- '1.0'
- '1.1'
- '1.1.1'
- '1.2'
author: Eddy Westbrook, Nicolas Frisby, Paul Brauner
latest: '1.2'
description-type: haddock
description: ! 'A library for canonically representing terms with binding via a

  constructor for introducing fresh names and a restricted API that avoids the

  need for alpha-equivalence.'
license-name: BSD3

Update from Hackage at 2016-05-03T00:31:06+0000
Update from Hackage at 2016-05-03T00:31:06+0000
