There's a new version of Idris out, with lots of improvements and fixes: http://www.idris-lang.org/idris-0-9-16-released/ … Enjoy!
-
-
Replying to @edwinbrady
.
@edwinbrady just in time for@d_christiansen's intro course here today!http://galois.com/blog/2015/01/tech-talk-dependently-typed-functional-programming-idris-1-3/ …1 reply 0 retweets 1 like
Replying to @galois
@galoisinc Yes, @d_christiansen prodded me just in time :)
9:41 AM - 15 Jan 2015
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.