search

statebox / idris-stbx-core

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

Typedefify cart (WIP) #51

Open epost opened 4 years ago