Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
EqBase.agda | 2009-06-08 09:56 | 3.3K | ||
Homogenous/ | 2009-06-08 09:56 | - | ||
Main.agda | 2009-06-08 09:56 | 202 | ||
PolyDepPrelude.agda | 2009-06-08 09:56 | 3.8K | ||
Reflexivity.agda | 2009-06-08 09:56 | 327 | ||
TYPE.agda | 2009-06-08 09:56 | 122 | ||
Tools.agda | 2009-06-08 09:56 | 8.8K | ||
log.txt | 2009-06-08 09:56 | 301 | ||