"semantics is the side wheels of logic."
haha @insurrealist
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@insurrealist Yeah, thanks. Girard's stuff looks so ahead of its time. like 2004's nLabThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@insurrealist@ValueOfType Currently reading his Proofs and Types. It's quite refreshingThanks. 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.