Untitled attachment

Notices where this attachment appears

1. Embed this notice
   Zanzi @ Monoidal Cafe (zanzi@mathstodon.xyz)'s status on Thursday, 02-Jan-2025 06:52:04 JST Zanzi @ Monoidal Cafe

   Programs in Jermaine take a list of inputs to a disjoint union of outputs.

   So this program takes a sum (s : Either a b) and branches off into two branches, one of which outputs (this : a) and the other (that : b)