Index of /code.haskell.org/Agda/notes/papers/implicit/examples/

../
Crash.agda                                         15-Feb-2019 15:20                 246
Crash.epi                                          15-Feb-2019 15:20                2018
Dangerous-Agda1.agda                               15-Feb-2019 15:20                 546
Dangerous-Agda2.agda                               15-Feb-2019 15:20                 609
Dangerous-AgdaLight.agda                           15-Feb-2019 15:20                 563
Example.agda                                       15-Feb-2019 15:20                 766
IllTyped.agda                                      15-Feb-2019 15:20                 398
Loop.agda                                          15-Feb-2019 15:20                 622
Scope.agda                                         15-Feb-2019 15:20                 571
Simple.agda                                        15-Feb-2019 15:20                 121