@hackage / bound-gen

Unwrap Scope's with globally fresh values

Latest0.1.0.2

About

Metadata

  • Last updated , by jozefg
  • License MIT
  • Categories Compilers and Interpreters

  • Maintained by: jozefg@cmu.edu

  • Lottery factor: 0

Links

Installation

Readme

bound-gen

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.