More Sunday afternoon fun: releasing some software. Hoorah! http://www.idris-lang.org/idris-0-9-15-released/ …
@Cynede Okay, fixed it. I’ll make a new release later today since that problem will bite lots of people I think.
-
-
This Tweet is unavailable.
-
@Cynede okay, I’ll need a proper reproducible bug report for this. - 2 more replies
-
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.