Trying to get partial type inference working in Idris. It's an IDE (not language) feature. Here's what I have so far: http://lpaste.net/99689
@solomatovkv @milessabin I'm just thinking in general that it's useful for the language to be able to pass on information it has to an IDE.
12:31 PM - 9 Feb 2014
0 replies
3 retweets
0 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.