Congratulations to @Franck_FS on getting his paper on automatically proving equivalences in Idris accepted by CICM!
It needs a bit of polish but I'll certainly post it when it's done (in a week or so). I think it's very nice work at least, but I would :)
-
-
thanks! Also congrats to you both!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.