4 years and 3 days after Idris 0.9, it's probably time for Idris 0.10, so here it is. http://www.idris-lang.org/idris-0-10-released/ …
-
-
@edwinbrady Great! I love watch & Interface makes me feel I could use something coming from Java without my usual neural shortcuts -
@mandubian I haven't actually tried :watch yet but I expect I will love it too… HT@pdxleif
End of conversation
New conversation -
-
-
@edwinbrady the class / interface one is not a small one indeedThanks. 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.