name: unbound
description: 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. See
Unbound.LocallyNameless to get started.
license_spdx: BSD-3-Clause
version: 0.4.4
spec_version: 1.0
download_url: http://hackage.haskell.org/package/unbound-0.4.4/unbound-0.4.4.tar.gz
home_url: 
                https://github.com/sweirich/replib
              
news_url: https://libraries.io/hackage/unbound/versions.atom
date: 2015-09-12
about_resource: NONE
libraries_io_url: https://libraries.io/hackage/unbound?number=0.4.4
vcs_tool: git
vcs_repository: https://github.com/sweirich/replib
vcs_branch: master
