Today I learnt a lot about Idris from the excellent lecture by @edwinbrady. Functional programming and types for profit and fun!
-
-
@edwinbrady profit from your wisdom? Actually I was thinking about cash. -
@aquigley@edwinbrady Shouldn't it be: '...for Fun and Profit'...http://phrack.org/issues/49/14.html …
End of conversation
New conversation -
-
-
@edwinbrady@aquigley 1) It compiles. 2) Ship it, 3) ??? 4) Profit!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.