When John Reynolds was asked to teach Compilers at CMU he said "Yes, but that requires A LOT of category theory." the request was immediately rescinded. I decided Compilers requires a bit of operational semantics and it's too late now for anyone to do anything about it.
-
-
This looks fascinating!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.
Read my blog!