Index of /code.haskell.org/Agda/examples/outdated-and-incorrect/syntax/

../
ModuleA.agda                                       15-Feb-2019 15:22                 432
ModuleB.agda                                       15-Feb-2019 15:22                 793
Syntax.agda                                        15-Feb-2019 15:22               14162