Index of /code.haskell.org/Agda/examples/tactics/ac/

../
AC.agda                                            15-Feb-2019 15:22                9051
Bool.agda                                          15-Feb-2019 15:22                1248
EqProof.agda                                       15-Feb-2019 15:22                 396
Fin.agda                                           15-Feb-2019 15:22                1623
List.agda                                          15-Feb-2019 15:22                1053
Logic.agda                                         15-Feb-2019 15:22                  80
Nat.agda                                           15-Feb-2019 15:22                 404
Vec.agda                                           15-Feb-2019 15:22                 943