@edwinbrady on proofs in the presence of refactors on @typetheorypcast http://typetheorypodcast.com/2014/09/episode-2-edwin-brady-on-idris/#t=47:20.000 … - what's the latest on this? :-)
@adelbertchang I think we have a lot to learn on using types and proofs well, but we do at least have some ideas /cc @Franck_FS
-
-
@edwinbrady@Franck_FS I look forward to it - in the interim, is http://docs.idris-lang.org/en/latest/reference/elaborator-reflection.html#elaborator-reflection … the latest on the steps towards that?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.