Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
DefinitionalEquality..> | 2009-06-08 09:56 | 3.5K | ||
Dummy.agda | 2009-06-08 09:56 | 20 | ||
Examples.agda | 2009-06-08 09:56 | 917 | ||
IID-New-Proof-Setup...> | 2009-06-08 09:56 | 732 | ||
IID-Proof-Setup.agda | 2009-06-08 09:56 | 5.5K | ||
IID-Proof-Test.agda | 2009-06-08 09:56 | 2.3K | ||
IID-Proof.agda | 2009-06-08 09:56 | 5.3K | ||
IID.agda | 2009-06-08 09:56 | 3.2K | ||
IIDg.agda | 2009-06-08 09:56 | 1.9K | ||
IIDr.agda | 2009-06-08 09:56 | 941 | ||
IIRD.agda | 2009-06-08 09:56 | 5.5K | ||
IIRDg.agda | 2009-06-08 09:56 | 4.3K | ||
IIRDr.agda | 2009-06-08 09:56 | 803 | ||
Identity.agda | 2009-06-08 09:56 | 1.5K | ||
LF.agda | 2009-06-08 09:56 | 1.0K | ||
Logic/ | 2009-06-08 09:56 | - | ||
Main.agda | 2009-06-08 09:56 | 34 | ||
Proof.agda | 2009-06-08 09:56 | 6.0K | ||
Proof/ | 2009-06-08 09:56 | - | ||
Test.agda | 2009-06-08 09:56 | 927 | ||
new/ | 2009-06-08 09:56 | - | ||