@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? :-)
-
-
@edwinbrady One of my concerns w/ writing proofs is lack of resilience in presence of refactors, happy to see Idris trying to solve 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 - 1 more reply
New conversation -
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.