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

../
Makefile                                           15-Feb-2019 15:20                 184
agda.tex                                           15-Feb-2019 15:20               10968
algorithm.tex                                      15-Feb-2019 15:20               13920
algorithmJ.tex                                     15-Feb-2019 15:20               12849
core.tex                                           15-Feb-2019 15:20               31422
definition                                         15-Feb-2019 15:20                3800
proof.sty                                          15-Feb-2019 15:20                9459