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


../
AIM6/                                              15-Feb-2019 15:22                   -
Alonzo/                                            15-Feb-2019 15:22                   -
DTP08/                                             15-Feb-2019 15:22                   -
NestedDataTypes/                                   15-Feb-2019 15:22                   -
OTT/                                               15-Feb-2019 15:22                   -
cat/                                               15-Feb-2019 15:22                   -
cbs/                                               15-Feb-2019 15:22                   -
clowns/                                            15-Feb-2019 15:22                   -
fileIO/                                            15-Feb-2019 15:22                   -
iird/                                              15-Feb-2019 15:22                   -
lattice/                                           15-Feb-2019 15:22                   -
syntax/                                            15-Feb-2019 15:22                   -
tactics/                                           15-Feb-2019 15:22                   -
tait/                                              15-Feb-2019 15:22                   -
univ/                                              15-Feb-2019 15:22                   -
FunctionsInIndices.agda                            15-Feb-2019 15:22                1298
IORef.agda                                         15-Feb-2019 15:22                7289
NBE.agda                                           15-Feb-2019 15:22               10540
ProofRep.agda                                      15-Feb-2019 15:22                1252
README                                             15-Feb-2019 15:22                 185
Screen.agda                                        15-Feb-2019 15:22                1327
StackLanguage.agda                                 15-Feb-2019 15:22                1088
Subset.agda                                        15-Feb-2019 15:22                 556
Warshall.agda                                      15-Feb-2019 15:22                2533