I've added the first module with squares to the proarrow library. It's only the basics and so still very abstract.
I think I need to fix haddock, because the way it renders kind-heavy type signatures is ridiculous. It needs more visual hierarchy!
https://sjoerdvisscher.github.io/proarrow/Proarrow-Squares.html
[#]haskell
=> More informations about this toot | View the thread | More toots from sjoerd_visscher@types.pl
=> View haskell tag This content has been proxied by September (3851b).Proxy Information
text/gemini