I bought @edwinbrady's Idris book today. Excited to start, but kinda busy still learning Haskell, writing book for learning Haskell. Wat do
-
-
EVERYBODY, THROW
@edwinbrady MONEY FOR MORE WHITESPACE (no...wait...) MORE IDRIS!@argumatronic@bitemyappThanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@edwinbrady@argumatronic@geophf I bought it as well (ebook + print) :) -
@edwinbrady@argumatronic@geophf does that mean I can ask for a chapter on elaborator reflection? >:D
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.