Dependent types meetup today in portland http://calagator.org/events/1250464352 … #idris #dependdenttypes
-
-
@edwinbrady Any thoughts on pushing a release soon? -
@d_christiansen I could sneak out 0.9.8.1 while nobody's looking... though no time to test properly really - 2 more replies
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.