implement ecommerce example using `computer'` - Githubissues

statebox / idris-stbx-core

Category theoretic semantics of glued open Petri nets in Idris

https://statebox.org/

1 stars 1 forks source link

implement ecommerce example using `computer'` #44

Open marcosh opened 4 years ago