@hackage / unbound

Generic support for programming with names and binders

Latest0.5.1.1

About

Metadata

  • Last updated , by sweirich
  • License BSD-3-Clause
  • Categories Generics, Compilers and Interpreters

  • Maintained by: Stephanie Weirich <sweirich@cis.upenn.edu>

  • Lottery factor: 0

Links

Installation

Tested Compilers

  1. 8.6.1
  2. 8.4.3
  3. 8.2.2

Readme

-- -- Copyright : (c) 2010-2015, 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:

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).