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 …
-
-
-
-
Replying to @edwinbrady
Maybe you should start the lecture with cubical computational type theory to prove them right.
That would be funny1 reply 0 retweets 0 likes
Replying to @JTParker09
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...
2:19 PM - 21 Jan 2019
0 replies
0 retweets
2 likes
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.