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


../
AC.agda                                            17-Feb-2011 11:12                6237
Bool.agda                                          17-Feb-2011 11:12                1329
EqProof.agda                                       17-Feb-2011 11:12                 396
Example.agda                                       17-Feb-2011 11:12                1935
Fin.agda                                           17-Feb-2011 11:12                1629
List.agda                                          17-Feb-2011 11:12                1053
Logic.agda                                         17-Feb-2011 11:12                  80
Makefile                                           17-Feb-2011 11:12                 512
Nat.agda                                           06-Feb-2014 07:59                 529
Vec.agda                                           17-Feb-2011 11:12                 946