Spent much of the weekend removing ugly hacks from Idris. It's been remarkably similar to removing blocks from a Jenga tower.
@solomatovkv We have https://github.com/idris-lang/Idris-dev/tree/unification-fix/test … plus some programs I always check
5:33 PM - 16 Feb 2014
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.