~tslil/univalence-to-funext

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