I see my talk on Idris elaboration is now on the telly, along with others from last week's workshop on Type Inference http://staff.computing.dundee.ac.uk/frantisekfarka/tiap/ …
4:24 PM - 19 May 2015
0 replies
2 retweets
13 likes
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.