/Unbound/README
#! | 23 lines | 19 code | 4 blank | 0 comment | 0 complexity | de03de0f6b57f7c3bcc895f2e1e1794c MD5 | raw file
Possible License(s): BSD-3-Clause
1----------------------------------------------------------------------------- 2-- 3-- Copyright : (c) 2010-2011, Unbound team (see LICENSE) 4-- License : BSD3 5-- 6-- Maintainer : sweirich@cis.upenn.edu, byorgey@cis.upenn.edu 7-- Stability : experimental 8-- Portability : non-portable 9-- 10----------------------------------------------------------------------------- 11 12Specify the binding structure of your data type with an expressive set 13of type combinators, and Unbound handles the rest! Automatically 14derives alpha-equivalence, free variable calculation, capture-avoiding 15substitution, and more. 16 17To install (requires GHC 7), just 18 19 cabal install unbound 20 21To get started using the library, see the tutorial in the tutorial/ 22directory and the extensive Haddock documentation (start with the 23Unbound.LocallyNameless module).