@edwinbrady Ending with 'Fin' would seem more appropriate than a prosaic 'Done'.
-
-
-
@bentnib In this case, perhaps "BadumTish"?
End of conversation
New conversation -
-
-
@edwinbrady@d_christiansen Consider the protocols that the HtDP curriculum teaches undergrads. Adv. example from RoR http://www.nostarch.com/download/samples/Realm_ch14.pdf … -
@johnsonjamesian
@d_christiansen@Lenary oh, I have a few possibilities. I was just looking for an excuse to post the joke ;).
End of conversation
New conversation -
-
-
@IdrisTips: Wow,#Idris can even formalize humor. “@edwinbrady: ... https://gist.github.com/edwinb/128d73a381b49e66c691 …” Can#Coq do that, @spun_off, hmm? -
@davidleongil@IdrisTips@edwinbrady I don't get it.
End of conversation
New conversation -
-
-
@edwinbrady ABP?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.