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


../
agda/                                              17-Feb-2011 11:12                   -
test/                                              17-Feb-2011 11:12                   -
INSTALL                                            17-Feb-2011 11:12                 331
Main.hs                                            17-Feb-2011 11:12                2569
README                                             17-Feb-2011 11:12                2630
Setup.hs                                           17-Feb-2011 11:12                  46
Translator.hs                                      17-Feb-2011 11:12               26545
agda1to2.cabal                                     17-Feb-2011 11:12                 580