Amusing myself with uniqueness types and concurrency in Idris. This might even nearly work. http://lpaste.net/120793#line177
Happily, my @lambdadays abstract was vague enough that it fits my talk next week too :)
2:24 PM - 19 Feb 2015
0 replies
0 retweets
1 like
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.