@edwinbrady "Sh*t dependently typed language programmers say" ?
-
-
-
@huitseeker@edwinbrady "It would typecheck if the typechecker didn't crash with OOM! Ship it!"
End of conversation
New conversation -
-
-
@edwinbrady I don’t always type check my code [pic of the dude] but when I do, I do it in productionThanks. 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.