unbound

Release 0.5.1

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.

Homepage Repository Hackage Coq Download

Keywords
compilers-interpreters, generics, language, library, Propose Tags, Unbound.LocallyNameless, Skip to Readme, , Index, Quick Jump, Unbound.DynR, Unbound.LocallyNameless.Alpha, Unbound.LocallyNameless.Fresh, Unbound.LocallyNameless.Name, Unbound.LocallyNameless.Ops, Unbound.LocallyNameless.Subst, Unbound.LocallyNameless.Types, Unbound.PermM, Unbound.Util, unbound-0.5.1.1.tar.gz, browse, Package description, Package maintainers, BrentYorgey, sweirich, edit package information , 0.5.0
License
BSD-3-Clause
Install
cabal install unbound-0.5.1

Stats

Dependent repositories
3
Total releases
20
Latest release
First release
Stars
29
Forks
6
Watchers
5
Contributors
7
Repository size
778 KB
SourceRank
7

Development practices

Source repo 2FA enabled
TEXT!
Package manager 2FA enabled
TEXT!
Is security responsive
TEXT!
Dependencies are managed
TEXT!
Issue-free release available
TEXT!
Succession plan available
TEXT!
Package manager 2FA enabled
TEXT!

The Tidelift Subscription provides access to a continuously curated stream of human-researched and maintainer-verified data on open source packages and their licenses, releases, vulnerabilities, and development practices.

Learn more →

Releases

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
See all 20 releases

Contributors

Stephanie Weirich Alejandro Serrano chessai Joachim Breitner Antal Spector-Zabusky Ki Yung Ahn m0rphism


See all contributors

Something wrong with this page? Make a suggestion

Export .ABOUT file for this package

Last synced: 2023-12-02 18:07:59 UTC

Login to resync this project