Mastodon Feed: Post

dysfun@treehouse.systems ("gaytabase") wrote:

littlegem: with could be made more like a case block (by integrating it into a case block!)

case a with b
 Z   := [] = ...
 S x := (y :: z) = ...

what do we think?