@edwinbrady Sorry I was not available.
-
-
-
@pigworker You'd probably be a valuable addition to the next part of today's proceedings too
End of conversation
New conversation -
-
-
@edwinbrady@psnively Watch out--the only viable output language in that case is "Category Theory". -
.
@runarorama@psnively I find "type theory" often works as an output language, up to a point. - 1 more reply
New conversation -
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.