@edwinbrady Surely you've sold shirts too, akin to http://www.sohos.co.uk/@@content/pub/image_6236/DRAGONFORCETOURTEE2%5B1%5D_59255.JPG … ?
To Nottingham! Last gig on the current Idris-flogging tour. Hit DVD will be out soon, I'm sure...
-
-
-
@tpsinnem Perhaps next time. We should clearly make t-shirts anyway :).
End of conversation
New conversation -
-
-
@edwinbrady what intro to idris do you recommend for somebody who already knows Coq (well, barely to be honest) -
@gclaramunt I'd start with http://eb.host.cs.st-andrews.ac.uk/writings/idris-tutorial.pdf … - Also@d_christiansen's MSc thesis has a nice introduction. - 7 more replies
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.