graph-inductive-2.0.0 --------------------- Version 2.0.0 Author Bernd Brassel <bbr@informatik.uni-kiel.de> Maintainer Michael Hanus <mh@informatik.uni-kiel.de> Synopsis Library for inductive graphs Category Data Dependencies base >= 1.0.0, < 2.0.0 finite-map >= 0.0.1 Compiler compatibility pakcs >= 2.0.0 kics2 >= 2.0.0 Exported modules Data.GraphInductive Source Git https://git.ps.informatik.uni-kiel.de/curry-packages/graph-inductive.git@v2.0.0 License BSD-3-Clause License file LICENSE