A new draft paper on erasure in Idris, in which @id1660 redoes my PhD, only much better.https://edwinb.wordpress.com/2015/02/28/practical-erasure-in-dependently-typed-languages/ …
@bishboria @id1660 I hope we deliver what we promise :). If anything isn't clear we should probably fix it.
-
-
@edwinbrady@id1660 finished reading it. Understood most of it too :)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.