unbound
Version 0.5.1.1 revision 0 uploaded by sweirich.
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, Brent Yorgey
- Bug reports
- n/a
- Category
- Language, Generics, Compilers/Interpreters
- Copyright
- n/a
- Homepage
- https://github.com/sweirich/replib
- Maintainer
- Stephanie Weirich <sweirich@cis.upenn.edu>
- Package URL
- n/a
- Stability
- n/a