New draft: Idris - Systems Programming meets Full Dependent Types. http://twurl.nl/svle8p As usual, it's submitted but comments are welcome!
6:27 AM - 12 Oct 2010
0 replies
2 retweets
4 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.