Awesome

Compositional Data Types on DAGs

This library implements recursion schemes on directed acyclic graphs. The recursion schemes are explained in detail in the paper [Generalising Tree Traversals to DAGs] (http://dx.doi.org/10.1145/2678015.2682539).