More Sunday afternoon fun: releasing some software. Hoorah! http://www.idris-lang.org/idris-0-9-15-released/ …
@Cynede Looks like there’s some non termination interacting badly wth partial evaluation. I’ll fix it. Use --no-partial-eval for now.
-
-
This Tweet is unavailable.
-
@Cynede That’s not where you put the option. Put it in the .ipkg with the other options. - 6 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.