The strange joy of recursive/inductive definitions that look ill-founded but aren't


Also "data Mu f = In (f (Mu f))" which took me forever to figure out what it did

Sign in to participate in the conversation
Mastodon @ SDF

"I appreciate SDF but it's a general-purpose server and the name doesn't make it obvious that it's about art." - Eugen Rochko