Activity for guaraqe.com

I’ll be at ZuriHac soon, so I’m excited to share WireCat: a Haskell effect library and GHC plugin for faithful visual representations of executable code, based on cartesian categories, row types and proc notation. I wrote about why cartesian categories are convenient: guaraqe.com/posts/2026-0...

chrispenner.ca/posts/arrow-...