Idris 0.9.18 type checks! Ship it! http://www.idris-lang.org/idris-0-9-18-released/ …
-
-
Replying to @edwinbrady
Which, depending on how you interpret your version numbering scheme, is only 0.0.82 less than a Rust. So there you go.
2 replies 1 retweet 11 likes -
Replying to @edwinbrady
@edwinbrady what's the advantage of the if change?4 replies 0 retweets 0 likes
@enolan it'll be tidier for overloading in particular. I think @d_christiansen has some plans
3:18 PM - 17 May 2015
0 replies
0 retweets
0 likes
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.