bladewang / ocaml-fgl

OCaml implementation of Martin Erwig's Inductive Graphs and Functional Graph Algorithms [https://web.engr.oregonstate.edu/~erwig/papers/InductiveGraphs_JFP01.pdf]

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ocaml-fgl

About

OCaml implementation of Martin Erwig's Inductive Graphs and Functional Graph Algorithms [https://web.engr.oregonstate.edu/~erwig/papers/InductiveGraphs_JFP01.pdf]


Languages

Language:OCaml 100.0%