@St_Rev "In contrast in intensional type theory type checking is decidable," wut
Wiki editors arguing with each other in midsentence. https://en.wikipedia.org/wiki/Intuitionistic_type_theory#Extensional_versus_intensional …
-
-
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.
. Banned in Sweden. SubGenius, Zhuangist, white-hat troll. Defrocked mathematician. Brain problems.