Pretty huge update for Idris http://www.idris-lang.org/idris-0-11-released/ …
-
-
@edwinbrady hah, that's a good promotion technique I guess -
@rickasaurus I wouldn't be so kind as to call it a technique… (Though this version *is* much better naturally :))
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.