Idris 0.9.18 type checks! Ship it! http://www.idris-lang.org/idris-0-9-18-released/ …
@enolan "…for consistency with GHC Haskell and scala-virtualized, and to reflect that if-notation makes sense with non-Bool datatypes."
-
-
@enolan it'll be tidier for overloading in particular. I think@d_christiansen has some plansThanks. 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.