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 …
@Not_ReallyMe I considered it but decided it was too much like my day job...
-
This Tweet is unavailable.
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.