@hackage unbound0.2

Generic support for programming with names and binders

Categories
- Compilers and Interpreters
- Generics
License
BSD-3-Clause
Maintainer
Brent Yorgey <byorgey@cis.upenn.edu> Chris Casinghino <ccasin@cis.upenn.edu> Stephanie Weirich <sweirich@cis.upenn.edu>
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 0.5.1.1 Mon, 15 Oct 2018
- 0.5.1 Wed, 24 Aug 2016
- 0.5.0 Fri, 19 Aug 2016
- 0.4.4 Sat, 12 Sep 2015
- 0.4.3.1 Thu, 8 May 2014
- 0.4.3 Wed, 29 Jan 2014

Installation
In your cabal file:
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
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

-- See http://code.google.com/p/replib/ for more information.