/inductive-graphs

A simple implementation of the inductive graphs detailed in Martin Erwig's paper "Inductive Graphs and Functional Graph Algorithms" (https://web.engr.oregonstate.edu/~erwig/papers/InductiveGraphs_JFP01.pdf).

Primary LanguageHaskellOtherNOASSERTION