Idris 0.9.18 type checks! Ship it! http://www.idris-lang.org/idris-0-9-18-released/ …
-
-
@edwinbrady what's the advantage of the if change? -
@enolan "…for consistency with GHC Haskell and scala-virtualized, and to reflect that if-notation makes sense with non-Bool datatypes." - 1 more reply
New conversation -
-
-
@edwinbrady the math checks out -
@larsr_h Yes, so we only have 82 minor versions to go. And we've done about 19 so far, so not long now.
End of conversation
New conversation -
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.