Follow
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
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
"An ordinal is a downward-closed set of ordinals" thanks, I love it