The hobbits package

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.

Properties

Versions	1.0, 1.1
Dependencies	base (4.), deepseq, haskell-src-exts, haskell-src-meta (≥0.5.1.1), mtl, syb, tagged, template-haskell (≥2.5 & <2.8), th-expand-syns (0.3.), type-equality
License	BSD3
Author	Eddy Westbrook, Nicolas Frisby, Paul Brauner
Maintainer	emw4@rice.edu
Category	Data Structures
Upload date	Fri Apr 13 18:47:35 UTC 2012
Uploaded by	EddyWestbrook
Built on	ghc-7.4

Modules

Data
- Binding
  - Data.Binding.Hobbits
- Type
  - Data.Type.List

Downloads

hobbits-1.1.tar.gz (Cabal source package)
package description (included in the package)