@runarorama @dibblego me too – with the occasional ribbing ;). Particularly appreciated a careful explanation of lenses down the pub!
-
@dibblego@runarorama I wasn't sure if you'd like it because it's strict ... but I figured you'd particularly like the latest release.
@steshaw @runarorama Strictness is hardly a problem in light of the competition. Haven't looked at latest.
-
-
@dibblego@runarorama Idris had codata already but now also "laziness via the type system" http://www.idris-lang.org/idris-0-9-12-released/ …@edwinbrady -
@steshaw@runarorama@edwinbrady Both excellent first steps IMO.
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.