statebox / idris-stbx-core

Category theoretic semantics of glued open Petri nets in Idris

https://statebox.org/

Geek Repo

Github PK Tool