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

../
MetaVars/                                          15-Feb-2019 15:20                   -
Modules/                                           15-Feb-2019 15:20                   -
Types07/                                           15-Feb-2019 15:20                   -
video060320/                                       15-Feb-2019 15:20                   -
video060510/                                       15-Feb-2019 15:20                   -