Still puzzled by how the Axe of Taipei ("x of type a") managed to be such a clear exposition of Curry-Howard. @flatmaposlohttps://twitter.com/JonasWinje/status/859473437252866048 …
-
-
No one (consciously) thought of it - stenographic serendipity.
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.