Index of /code.haskell.org/Agda/test/features/

../
matrixShapedTerminationOrder/                      15-Feb-2019 15:18                   -
CoPatWith.agda                                     15-Feb-2019 15:18                1430
Copatterns.agda                                    15-Feb-2019 15:18                1699
FlexInterpreter.agda                               15-Feb-2019 15:18                 887
Makefile                                           15-Feb-2019 15:18                  32
Tree.agda                                          15-Feb-2019 15:18                1079