@edwinbrady @d_christiansen 'cabal install idris' says it's going to break Agda-2.4.2.3?
Replying to @plragde
@plragde @d_christiansen quite right too :). That is weird though...
10:15 AM - 6 Jul 2015
from Oxford, England
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.