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


../
Crash.agda                                         15-Feb-2019 15:20                 279
Examples.agda                                      15-Feb-2019 15:20                 530
Makefile                                           15-Feb-2019 15:20                 135
Plus.agda                                          15-Feb-2019 15:20                 415
danger_do_not_open_until.eps                       15-Feb-2019 15:20              498628
danger_do_not_open_until.jpg                       15-Feb-2019 15:20               59209
proof.sty                                          15-Feb-2019 15:20                9459
talk.tex                                           15-Feb-2019 15:20                7368