Dependent types meetup today in portland http://calagator.org/events/1250464352 … #idris #dependdenttypes
@d_christiansen I could sneak out 0.9.8.1 while nobody's looking... though no time to test properly really
-
-
@edwinbrady Your call, of course :-) it was just mentioned on irc a couple days ago. -
@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!
End of conversation
New conversation -
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.