It pleases me that these always seem to come up when I'm about to start teaching Haskell to another class of sceptical undergrads :)https://twitter.com/dreixel/status/1087311515651174401 …
-
-
Maybe you should start the lecture with cubical computational type theory to prove them right.
That would be funny -
Heh. I prefer it when I have the slightest idea what it is I'm talking about, though it wouldn't be the first time I was only 1 hour ahead of the class...
End of conversation
New conversation -
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.