Index of /code.haskell.org/Agda/examples/outdated-and-incorrect/iird/

../
Logic/                                             15-Feb-2019 15:22                   -
Proof/                                             15-Feb-2019 15:22                   -
new/                                               15-Feb-2019 15:22                   -
DefinitionalEquality.agda                          15-Feb-2019 15:22                3571
Dummy.agda                                         15-Feb-2019 15:22                  20
Examples.agda                                      15-Feb-2019 15:22                 917
IID-New-Proof-Setup.agda                           15-Feb-2019 15:22                 732
IID-Proof-Setup.agda                               15-Feb-2019 15:22                5587
IID-Proof-Test.agda                                15-Feb-2019 15:22                2335
IID-Proof.agda                                     15-Feb-2019 15:22                5428
IID.agda                                           15-Feb-2019 15:22                3286
IIDg.agda                                          15-Feb-2019 15:22                1982
IIDr.agda                                          15-Feb-2019 15:22                 941
IIRD.agda                                          15-Feb-2019 15:22                5585
IIRDg.agda                                         15-Feb-2019 15:22                4428
IIRDr.agda                                         15-Feb-2019 15:22                 803
Identity.agda                                      15-Feb-2019 15:22                1513
LF.agda                                            15-Feb-2019 15:22                1034
Main.agda                                          15-Feb-2019 15:22                  34
Proof.agda                                         15-Feb-2019 15:22                6157
Test.agda                                          15-Feb-2019 15:22                 927