https://github.com/dlicata335/hott-agda
Tip revision: e12dd67a3b609f94e20b0b3ac2c9e359fea03ac4 authored by Dan Licata on 24 July 2014, 14:24:44 UTC
pwh indexed
pwh indexed
Tip revision: e12dd67
File | Mode | Size |
---|---|---|
Contexts.agda | -rw-r--r-- | 5.1 KB |
Id.agda | -rw-r--r-- | 1.9 KB |
Reducibility.agda | -rw-r--r-- | 8.0 KB |
Sigma.agda | -rw-r--r-- | 3.9 KB |
Univ.agda | -rw-r--r-- | 6.4 KB |