PageRenderTime 45ms CodeModel.GetById 43ms app.highlight 1ms RepoModel.GetById 0ms app.codeStats 0ms

/Unbound/README

http://replib.googlecode.com/
#! | 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).