Check out the Idris-lang project on #Open Hub! https://www.openhub.net/p/Idris-dev @edwinbrady
@jfdm Ha! "Over the past 12 months, 94 developers contributed [..] to Idris-lang. This is one of the largest open-source teams in the world"
7:30 AM - 3 Jul 2015
0 replies
0 retweets
2 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.