Good things happening to Idris lists. https://github.com/idris-lang/Idris-dev/commit/a737c5d1ec40a8cbbee96d0844d0e84c2871ca12 … Looking forward to release! @edwinbrady
Replying to @craigstuntz
@craigstuntz Won't be long - there's a couple of other things I want to polish first though.
9:35 AM - 24 Jul 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.