Index of /code.haskell.org/Agda/examples/outdated-and-incorrect/AIM6/Cat/lib/Data/Real/

../
Base.agda                                          15-Feb-2019 15:22                1107
CReal.agda                                         15-Feb-2019 15:22                5189
Complete.agda                                      15-Feb-2019 15:22                1294
Gauge.agda                                         15-Feb-2019 15:22                 107