On an aircraft again. Time to finish watching @copumpkin's agda talk especially because I know he loves knowing that.
-
@dibblego http://nooooooooooooooo.com/ :) have fun!
-
-
@dibblego it's imprecise: imagine just writing "yes"/"no" in a notebook. In most cases, you can give more evidence for what you're stating. -
@copumpkin@dibblego@edwinbrady Has some beefs w/ it, too. I imagine "boolean-ly" typed having similar issues to "stringly typed".
End of conversation
New conversation -
-
-
@dibblego obviously with DTs you can take it arbitrarily far, but Either/Maybe are often enough in practice.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.