Index of /code.haskell.org/Agda/benchmark/ac/


../
AC.agda                                            15-Feb-2019 15:17                6237
Bool.agda                                          15-Feb-2019 15:17                1329
EqProof.agda                                       15-Feb-2019 15:17                 396
Example.agda                                       15-Feb-2019 15:17                1935
Fin.agda                                           15-Feb-2019 15:17                1629
List.agda                                          15-Feb-2019 15:17                1053
Logic.agda                                         15-Feb-2019 15:17                  80
Makefile                                           15-Feb-2019 15:17                 512
Nat.agda                                           15-Feb-2019 15:17                 529
Vec.agda                                           15-Feb-2019 15:17                 946