@jonsterling @bitemyapp We have the same error here... https://travis-ci.org/idris-lang/Idris-dev/jobs/19132902 …
1:48 PM - 18 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.