ruisb/GP_GenericAutomata
a generic library for labelled transition systems/automata in Haskell. GP course @ UU
A functional graph library in a dependently typed language - ported from M. Erwig's Haskell FGL
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
a generic library for labelled transition systems/automata in Haskell. GP course @ UU
Public repository.
...