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


../
AIM6/                                              17-Feb-2011 11:12                   -
Alonzo/                                            12-Jun-2014 19:15                   -
DTP08/                                             17-Feb-2011 11:12                   -
NestedDataTypes/                                   17-Feb-2011 11:12                   -
OTT/                                               17-Feb-2011 11:12                   -
cat/                                               17-Feb-2011 11:12                   -
cbs/                                               17-Feb-2011 11:12                   -
clowns/                                            17-Feb-2011 11:12                   -
fileIO/                                            17-Feb-2011 11:12                   -
iird/                                              17-Feb-2011 11:12                   -
lattice/                                           17-Feb-2011 11:12                   -
syntax/                                            17-Feb-2011 11:12                   -
tactics/                                           17-Feb-2011 11:12                   -
tait/                                              27-Nov-2013 18:35                   -
univ/                                              17-Feb-2011 11:12                   -
FunctionsInIndices.agda                            17-Feb-2011 11:12                1298
IORef.agda                                         17-Feb-2011 11:12                7289
NBE.agda                                           17-Feb-2011 11:12               10540
ProofRep.agda                                      17-Feb-2011 11:12                1252
README                                             17-Feb-2011 11:12                 185
Screen.agda                                        17-Feb-2011 11:12                1327
StackLanguage.agda                                 17-Feb-2011 11:12                1088
Subset.agda                                        17-Feb-2011 11:12                 556
Warshall.agda                                      17-Feb-2011 11:12                2533