Index of /code.haskell.org/Agda/notes/typechecking/


../
Makefile                                           17-Feb-2011 11:12                 184
agda.tex                                           17-Feb-2011 11:12               10968
algorithm.tex                                      17-Feb-2011 11:12               13920
algorithmJ.tex                                     17-Feb-2011 11:12               12849
core.tex                                           17-Feb-2011 11:12               31422
definition                                         17-Feb-2011 11:12                3800
proof.sty                                          17-Feb-2011 11:12                9459