Index of /code.haskell.org/Agda/examples/outdated-and-incorrect/AIM6/Cat/lib/Data/

../
Nat/                                               15-Feb-2019 15:22                   -
Real/                                              15-Feb-2019 15:22                   -
Bits.agda                                          15-Feb-2019 15:22                 942
Bool.agda                                          15-Feb-2019 15:22                 976
Char.agda                                          15-Feb-2019 15:22                  74
Fin.agda                                           15-Feb-2019 15:22                3068
Integer.agda                                       15-Feb-2019 15:22                2384
Interval.agda                                      15-Feb-2019 15:22                 239
List.agda                                          15-Feb-2019 15:22                1681
Map.agda                                           15-Feb-2019 15:22                 790
Maybe.agda                                         15-Feb-2019 15:22                 105
Nat.agda                                           15-Feb-2019 15:22                1673
Permutation.agda                                   15-Feb-2019 15:22                3673
PigeonHole.agda                                    15-Feb-2019 15:22                2337
Rational.agda                                      15-Feb-2019 15:22                2286
Show.agda                                          15-Feb-2019 15:22                 746
String.agda                                        15-Feb-2019 15:22                 430
Tuple.agda                                         15-Feb-2019 15:22                 192
Vec.agda                                           15-Feb-2019 15:22                3383