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


../
Adjoint.agda                                       15-Feb-2019 15:22                1038
Base.agda                                          15-Feb-2019 15:22                 133
Category.agda                                      15-Feb-2019 15:22                4136
Dual.agda                                          15-Feb-2019 15:22                 972
Example.agda                                       15-Feb-2019 15:22                2458
Functor.agda                                       15-Feb-2019 15:22                2727
Iso.agda                                           15-Feb-2019 15:22                 219
Product.agda                                       15-Feb-2019 15:22                 900
Terminal.agda                                      15-Feb-2019 15:22                 953
Unique.agda                                        15-Feb-2019 15:22                1123