A small library intended to make bound easier to use
with monad-gen. This simplifies the process of
using bound to do nontrivial work under binders by providing a way
to unwrap a Scope with a globally unique free variable.
Making bound play nice with monad-gen.
License
jozefg/bound-gen
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Making bound play nice with monad-gen.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published