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

../
Makefile                                           15-Feb-2019 15:20                 136
abstract                                           15-Feb-2019 15:20                 565
proof.sty                                          15-Feb-2019 15:20                9459
remarks                                            15-Feb-2019 15:20                3193
talk.tex                                           15-Feb-2019 15:20               13153