Today I learnt a lot about Idris from the excellent lecture by @edwinbrady. Functional programming and types for profit and fun!
-
-
@edwinbrady@GarthGoldwater "the same" who are you kidding? You have 12 the same t-shirt and you know it@turingfan has 6 Ben+Jerry t-shirts -
Nonsense I've only got five.
@aquigley@edwinbrady@GarthGoldwater - 1 more reply
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.