~tslil/univalence-to-funext

710a808e — tslil clingman Added README 1 year, 7 months ago
-rw-r--r--
69 bytes
-rw-r--r--
305 bytes
-rw-r--r--
8.7 KiB
-rw-r--r--
85.1 KiB
-rw-r--r--
5.3 KiB