Index of /~abel/repos/AgdaPrelude/src/Axiom
Name
Last modified
Size
Description
Parent Directory
-
Irrelevance.agda
2012-03-20 14:49
137
FunctionExtensionality.agda
2012-03-20 14:49
238
EqualityIsIrrelevant.agda
2012-03-20 14:49
193
Apache/2.4.62 (Debian) Server at www2.tcs.ifi.lmu.de Port 443