Dependent types meetup today in portland http://calagator.org/events/1250464352 … #idris #dependdenttypes
-
-
-
Replying to @edwinbrady
@edwinbrady Any thoughts on pushing a release soon?1 reply 0 retweets 0 likes -
Replying to @d_christiansen
@d_christiansen I could sneak out 0.9.8.1 while nobody's looking... though no time to test properly really1 reply 0 retweets 0 likes -
Replying to @edwinbrady
@edwinbrady Your call, of course :-) it was just mentioned on irc a couple days ago.1 reply 0 retweets 0 likes
Replying to @d_christiansen
@d_christiansen I have an sdist which works. I'm just reluctant to ship it when I won't have a chance to fix any problems for a day or two!
10:34 AM - 20 Jul 2013
0 replies
0 retweets
0 likes
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.