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/ …
-
-
Replying to @edwinbrady
@edwinbrady great just when I'm starting TDD with#idris!1 reply 0 retweets 0 likes -
Replying to @etorreborre
@etorreborre I'm now tagging chapters with the version you need :). Hopefully the last of the big changes is done now…2 replies 0 retweets 1 like -
Replying to @edwinbrady
@edwinbrady Great! I love watch & Interface makes me feel I could use something coming from Java without my usual neural shortcuts1 reply 0 retweets 0 likes
Replying to @mandubian
@mandubian I haven't actually tried :watch yet but I expect I will love it too… HT @pdxleif
2:45 PM - 21 Jan 2016
0 replies
0 retweets
1 like
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.