@hackage unbound0.2.3
Generic support for programming with names and binders
Categories
License
BSD-3-Clause
Maintainer
Brent Yorgey <byorgey@cis.upenn.edu> Stephanie Weirich <sweirich@cis.upenn.edu>
Links
- Homepage
- Documentation
- No source repository
- Changelog
- Security
Versions
Installation
Dependencies (5)
- RepLib >=0.4.0
- base >=4.3 && <5
- containers >=0.3 && <0.5
- mtl >=2.0 && <2.1
- transformers >=0.2.2.0 && <0.2.3 Show all…
Dependents (5)
@hackage/clash-lib, @hackage/acme-everything, @hackage/clash-ghc, @hackage/tal, @hackage/mprover
-- -- Copyright : (c) 2010-2011, Unbound team (see LICENSE) -- License : BSD3
-- Maintainer : sweirich@cis.upenn.edu, byorgey@cis.upenn.edu -- Stability : experimental -- Portability : non-portable
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.
To install (requires GHC 7), just
cabal install unbound
To get started using the library, see the tutorial in the tutorial/ directory and the extensive Haddock documentation (start with the Unbound.LocallyNameless module).