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

../
IndexedMap.agda                                    15-Feb-2019 15:14                 426
Monad.agda                                         15-Feb-2019 15:14                6807
MonadPostulates.agda                               15-Feb-2019 15:14                6821