Index of /code.haskell.org/Agda/notes/papers/iird/

../
Makefile                                           15-Feb-2019 15:20                 480
iird.bib                                           15-Feb-2019 15:20                 268
lhs2TeX.fmt                                        15-Feb-2019 15:20               12036
lhs2TeX.sty                                        15-Feb-2019 15:20                3074
llncs.cls                                          15-Feb-2019 15:20               42406
macros.tex                                         15-Feb-2019 15:20                 712
paper.lhs                                          15-Feb-2019 15:20               43558
poly.fmt                                           15-Feb-2019 15:20               12286
polycode.fmt                                       15-Feb-2019 15:20                5256