Which, depending on how you interpret your version numbering scheme, is only 0.0.82 less than a Rust. So there you go.
-
-
-
@edwinbrady what's the advantage of the if change? - 2 more replies
New conversation -
-
-
And thanks to
@kryptiskt there are now also Windows binaries for Idris 0.9.18 athttps://github.com/idris-lang/Idris-dev/wiki/Windows-Binaries …Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.