Uploaded at Apr 1 14:00:59 2020
Succesfully tested at Dec 2 05:08:40 2021

Curry Package graph-inductive

graph-inductive: Libraries for dealing with inductive graphs

This package contains a library for inductive graphs, i.e., where graphs are composed and decomposed in an inductive way.

This is a port of a Haskell library by Martin Erwig.


Checkout with CPM:
cypm checkout graph-inductive 2.0.0
Package source:
graph-inductive-2.0.0.tar.gz [browse]
Source repository: