Phew. Fixed a long standing universe hierarchy error, which means that the odds of there ever being an Idris 1.0 are much shorter now.
6:48 AM - 31 May 2016
0 replies
5 retweets
35 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.