Index of /Agda/src/transl

[ICO]NameLast modifiedSizeDescription

[DIR]Parent Directory  -
[   ]INSTALL17-Feb-2011 11:12 331
[TXT]Main.hs17-Feb-2011 11:12 2.5K
[   ]README17-Feb-2011 11:12 2.6K
[TXT]Setup.hs17-Feb-2011 11:12 46
[TXT]Translator.hs17-Feb-2011 11:12 26K
[DIR]agda/17-Feb-2011 11:12 -
[   ]agda1to2.cabal17-Feb-2011 11:12 580
[DIR]test/17-Feb-2011 11:12 -

Apache/2.2.9 (Debian) mod_perl/2.0.4 Perl/v5.10.0 Server at code.haskell.org Port 80