| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| master | Fixed links | tslil clingman | 7 years | |
| Age | Commit message | Author | ||
| 2019-07-17 | Fixed linksmaster | tslil clingman | ||
| 2019-02-02 | Added README | tslil clingman | ||
| 2019-02-02 | For some reason Agda could no longer infer for idp, added explicit | tslil clingman | ||
| 2019-02-02 | A proof that univalence implies function extensionality | tslil clingman | ||
| Clone | ||||
| https://git.l-3.space/univalence-to-funext | ||||
 |
index : univalence-to-funext | |
| A derivation of function extensionality from the univalence axiom formalised in Agda | git repository hosting |
| aboutsummaryrefslogtreecommitdiff |