More Sunday afternoon fun: releasing some software. Hoorah! http://www.idris-lang.org/idris-0-9-15-released/ …
@Cynede That’s not where you put the option. Put it in the .ipkg with the other options.
-
-
This Tweet is unavailable.
-
@Cynede Okay, fixed it. I’ll make a new release later today since that problem will bite lots of people I think. - 4 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.