@hackage / unfix-binders

Unfixing and recursion schemes for data types with binders

Latest0.1.0

About

Metadata

  • Last updated , by aspiwack
  • License BSD-3-Clause

  • Maintained by: arnaud@spiwack.net

  • Lottery factor: 0

Links

Installation

Readme

Unfix binders

when your substitutions are in a fix

This library defines fixed points of endofunctors of the category of endofunctors with the purpose of generalising recursion schemes for data types with binders.

It is still in a very experimental state: for demonstration purpose only (though contributions welcome!)