reading up on coinduction, and i'm going to throw a brick through a window if i see this example repeated again: "an inductive definition of a list is [standard cons-list defn], while a coinductive one is [the exact same definition but they wrote 'coinductive' before it]"
-
Show this thread
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.