Index of /code.haskell.org/Agda/doc/pfe/fake/Data/

../
Generics.hs                                        15-Feb-2019 15:22                 384
Map.hs                                             15-Feb-2019 15:22                  59