search

statebox / idris-stbx-core

Category theoretic semantics of glued open Petri nets in Idris
https://statebox.org/
1 stars 1 forks source link

Experiment with Cartographer's hypergraph structure for FSMCs #49

Open clayrat opened 4 years ago

clayrat commented 4 years ago

Working on https://github.com/statebox/idris-stbx-core/tree/cartographer branch