The latest version of unbound is 0.5.1.1-0.
unbound
Version 0.3 revision 0 uploaded by BrentYorgey.
Package meta
- Synopsis
- Generic support for programming with names and binders
- Description
Specify the binding structure of your data type with an expressive set of type combinators, and Unbound handles the rest! Automatically derives alpha-equivalence, free variable calculation, capture-avoiding substitution, and more. See Unbound.LocallyNameless to get started.
- Author
- Stephanie Weirich
- Bug reports
- n/a
- Category
- Language, Generics, Compilers/Interpreters
- Copyright
- n/a
- Homepage
- http://code.google.com/p/replib/
- Maintainer
- Brent Yorgey <byorgey@cis.upenn.edu> Stephanie Weirich <sweirich@cis.upenn.edu>
- Package URL
- n/a
- Stability
- n/a