Document natural transformations

statebox / idris-stbx-core

Category theoretic semantics of glued open Petri nets in Idris

https://statebox.org/

1 stars 1 forks source link

Document natural transformations #21

Closed FabrizioRomanoGenovese closed 5 years ago

FabrizioRomanoGenovese commented 5 years ago

@marcosh Some of the definitions are too wide for the PDF page. I didn't edit them because I don't know when can I insert newlines without making a mess. Can you help?

marcosh commented 5 years ago

I tried to wrap the code a bit more so that it fits in the page.

Please rebase this on master. Or just open a PR to me and I'll merge it

marcosh commented 5 years ago

this has been merged manually