The latest version of hobbits is 1.3.1-0.
hobbits
Version 1.1.1 revision 0 uploaded by EddyWestbrook.
Package meta
- Synopsis
- A library for canonically representing terms with binding
- 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.
- Author
- Eddy Westbrook, Nicolas Frisby, Paul Brauner
- Bug reports
- n/a
- Category
- Data Structures
- Copyright
- n/a
- Homepage
- n/a
- Maintainer
- emw4@rice.edu
- Package URL
- n/a
- Stability
- n/a