@bascule @therealadam Stuff like Agda and Coq that try to have programming exist in a more sophisticated and complete type framework.
@KirinDave @therealadam maybe I'm just immature, but I can't take a language named Coq seriously
-
-
@bascule The downside of being an english speaker. They pronounce it more like "Coke" but still with a bit of "cock" thrown in.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.