~tslil/univalence-to-funext

35576e52 — tslil clingman 5 years ago master
Fixed links
710a808e — tslil clingman 6 years ago
Added README
5aefd676 — tslil clingman 6 years ago
For some reason Agda could no longer infer for idp, added explicit
dd01e956 — tslil clingman 6 years ago
A proof that univalence implies function extensionality
Do not follow this link