Reading parts of the Idris book, and realising that @edwinbrady has inserted in-jokes #albuquerque
-
-
@jfdm I wonder which chapter I can use to explain cricket -
@edwinbrady that is easy. Effects, the hangman game is getting old ;-) or names for idris idioms…
End of conversation
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.