Index of /code.haskell.org/Agda/examples/lib/

../
Data/                                              15-Feb-2019 15:22                   -
Logic/                                             15-Feb-2019 15:22                   -
Prelude.agda                                       15-Feb-2019 15:22                 445
Test.agda                                          15-Feb-2019 15:22                 720