unfix-binders: Unfixing and recursion schemes for data types with binders

[ bsd3, data, library ] [ Propose Tags ]

Use fixed-point of endofunctors of endofunctors (that is initial algebras in the category of endofunctors) to define recursion schemes for data types with binders

[Skip to Readme]
Versions [faq] 0.1.0
Change log ChangeLog.md
Dependencies base (==4.12.*) [details]
License BSD-3-Clause
Copyright 2018 Arnaud Spiwack
Author Arnaud Spiwack
Maintainer arnaud@spiwack.net
Category Data
Home page https://github.com/aspiwack/peppermint-prover
Uploaded by aspiwack at Thu Oct 11 09:07:42 UTC 2018
Distributions NixOS:0.1.0
Downloads 80 total (19 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs uploaded by user
Build status unknown [no reports yet]




Maintainer's Corner

For package maintainers and hackage trustees

Readme for unfix-binders-0.1.0

[back to package description]

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!)