Index of /code.haskell.org/Agda/notes/talks/Types07/

../
Bad.agda                                           15-Feb-2019 15:20                 308
Makefile                                           15-Feb-2019 15:20                 135
proof.sty                                          15-Feb-2019 15:20                9459
talk.tex                                           15-Feb-2019 15:20                9750