~tslil/univalence-to-funext

35576e52 — tslil clingman 1 year, 9 months ago master
Fixed links
710a808e — tslil clingman 2 years ago
Added README
5aefd676 — tslil clingman 2 years ago
For some reason Agda could no longer infer for idp, added explicit
dd01e956 — tslil clingman 2 years ago
A proof that univalence implies function extensionality