compdata-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).