Index of /code.haskell.org/Agda/examples/lib/Data/

../
Nat/                                               15-Feb-2019 15:22                   -
Real/                                              15-Feb-2019 15:22                   -
Bits.agda                                          15-Feb-2019 15:22                 981
Bool.agda                                          15-Feb-2019 15:22                 976
Char.agda                                          15-Feb-2019 15:22                  74
Fin.agda                                           15-Feb-2019 15:22                3177
Integer.agda                                       15-Feb-2019 15:22                2423
Interval.agda                                      15-Feb-2019 15:22                 239
List.agda                                          15-Feb-2019 15:22                1681
Map.agda                                           15-Feb-2019 15:22                 801
Maybe.agda                                         15-Feb-2019 15:22                 215
Nat.agda                                           15-Feb-2019 15:22                1898
Permutation.agda                                   15-Feb-2019 15:22                3890
PigeonHole.agda                                    15-Feb-2019 15:22                2556
Rational.agda                                      15-Feb-2019 15:22                2325
Show.agda                                          15-Feb-2019 15:22                 785
String.agda                                        15-Feb-2019 15:22                 430
Tuple.agda                                         15-Feb-2019 15:22                 192
Vec.agda                                           15-Feb-2019 15:22                3507