Index of /code.haskell.org/Agda/src/transl/

../
agda/                                              15-Feb-2019 15:20                   -
test/                                              15-Feb-2019 15:20                   -
INSTALL                                            15-Feb-2019 15:20                 331
Main.hs                                            15-Feb-2019 15:20                2569
README                                             15-Feb-2019 15:20                2630
Setup.hs                                           15-Feb-2019 15:20                  46
Translator.hs                                      15-Feb-2019 15:20               26545
agda1to2.cabal                                     15-Feb-2019 15:20                 580