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

../
lib/                                               15-Feb-2019 15:22                   -
Category.agda                                      15-Feb-2019 15:22                1515
Functor.agda                                       15-Feb-2019 15:22                 665
Pullback.agda                                      15-Feb-2019 15:22                 989
Setoid.agda                                        15-Feb-2019 15:22                2460
Slice.agda                                         15-Feb-2019 15:22                2626
Unique.agda                                        15-Feb-2019 15:22                1138