Category theoretic semantics of glued open Petri nets in Idris - View it on GitHub