unbound: Generic support for programming with names and binders
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.
[Skip to Readme]
| Versions [faq] | 0.2, 0.2.1, 0.2.2, 0.2.3, 0.2.4, 0.2.5, 0.3, 0.3.1, 0.4, 0.4.0.1, 0.4.0.2, 0.4.1, 0.4.1.1, 0.4.2, 0.4.3, 0.4.3.1, 0.4.4, 0.5.0, 0.5.1, 0.5.1.1 |
|---|---|
| Change log | CHANGES |
| Dependencies | base (>=4.3 && <5), binary (>=0.7 && <0.9), containers (>=0.3 && <0.6), mtl (>=2.0 && <2.3), RepLib (>=0.5.3 && <0.6), semigroups (==0.18.*), transformers (>=0.2.2.0 && <0.6) [details] |
| License | BSD-3-Clause |
| Author | Stephanie Weirich, Brent Yorgey |
| Maintainer | Stephanie Weirich <sweirich@cis.upenn.edu> |
| Category | Language, Generics, Compilers/Interpreters |
| Home page | https://github.com/sweirich/replib |
| Source repo | head: git clone https://github.com/sweirich/replib |
| Uploaded | by sweirich at Mon Oct 15 09:58:00 UTC 2018 |
| Distributions | NixOS:0.5.1.1 |
| Downloads | 8799 total (350 in the last 30 days) |
| Rating | (no votes yet) [estimated by rule of succession] |
| Your Rating | |
| Status | Docs available [build log] Last success reported on 2018-10-15 [all 1 reports] |
Modules
[Index] [Quick Jump]
Downloads
- unbound-0.5.1.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)