12/records refactor - Githubissues

statebox / idris-stbx-core

Category theoretic semantics of glued open Petri nets in Idris

https://statebox.org/

1 stars 1 forks source link

Closed marcosh closed 5 years ago

marcosh commented 5 years ago

I just refactor everything to use records, so that the code now is a little shorter