Idris is getting more impressive with every talk I hear about it.
Only if we can write an Agda compiler in Idris too :)
11:09 AM - 20 Sep 2016
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.