Index of /code.haskell.org/Agda/src/prototyping/modules/

../
flat/                                              15-Feb-2019 15:21                   -
Modules.hs                                         15-Feb-2019 15:21               15452
ModulesAttempt1.hs                                 15-Feb-2019 15:21                4444
ModulesAttempt2.hs                                 15-Feb-2019 15:21               10008