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, mtl, parsec, syb, tagged, template-haskell, type-equality
License	BSD3
Author	Eddy Westbrook, Nicolas Frisby, Paul Brauner
Maintainer	emw4@rice.edu
Category	Data Structures
Upload date	Wed Sep 21 07:15:27 UTC 2011
Uploaded by	EddyWestbrook
Built on	ghc-7.2

Modules

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

Downloads

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