diff options
| author | tslil clingman <> | 2019-02-02 20:21:57 -0500 |
|---|---|---|
| committer | tslil clingman <> | 2019-02-02 20:23:12 -0500 |
| commit | 5aefd676fb53018c77a9735ffde8bedc05ad5bb0 (patch) | |
| tree | 9df8af67ad7675f492391c5264948375ef5adeda /univalence-to-funext.tex | |
| parent | dd01e956d2a3d05597113a7c454ac4cb09e3ec19 (diff) | |
For some reason Agda could no longer infer for idp, added explicit
Diffstat (limited to 'univalence-to-funext.tex')
0 files changed, 0 insertions, 0 deletions