dependently typed Statebox (heavy WIP)
-
Updated
Nov 2, 2016 - Idris
dependently typed Statebox (heavy WIP)
Category theoretic semantics of glued open Petri nets in Idris
Add a description, image, and links to the petrinets topic page so that developers can more easily learn about it.
To associate your repository with the petrinets topic, visit your repo's landing page and select "manage topics."