I've just put a draft of the Idris implementation paper online: http://edwinb.wordpress.com/2012/04/08/new-draft-implementation-of-a-general-purpose-programming-language-with-dependent-types/ … Still needs polish, but comments are most welcome...
2:16 PM - 8 Apr 2012
3 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.