If you’re heading to #ICFP, you might also be interested in this Idris tutorial at #CUFP http://cufp.org/2014/t5-edwin-brady-idris-practical-software-verification-with-Dependent-types.html … https://regmaster4.com/2014conf/ICFP14/register.php …
@bishboria I like to go to WGP though I won’t make it in time this year. And the Haskell symposium, which clashes with CUFP unfortunately.
-
-
@edwinbrady WGP looks interesting, I'll need to add update my registration info and hotel :)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.