Index of /code.haskell.org/Agda/src/compat/Data/

../
ByteString/                                        15-Feb-2019 15:21                   -
Monoid/                                            15-Feb-2019 15:21                   -
Foldable.hs                                        15-Feb-2019 15:21                9558
Traversable.hs                                     15-Feb-2019 15:21                4806