Index of /code.haskell.org/Agda/examples/Introduction/Data/

../
ByRecursion.agda                                   15-Feb-2019 15:22                 859
Empty.agda                                         15-Feb-2019 15:22                1272
Parameterised.agda                                 15-Feb-2019 15:22                1125
Vec.agda                                           15-Feb-2019 15:22                 806