https://github.com/dlicata335/hott-agda
History
Tip revision: e12dd67a3b609f94e20b0b3ac2c9e359fea03ac4 authored by Dan Licata on 24 July 2014, 14:24:44 UTC
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

back to top