Unwrap Scope's with globally fresh values
MIT
jozefg@cmu.edu
Installation
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.
bound
Scope