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

../
Base.agda                                          15-Feb-2019 15:22                1110
CReal.agda                                         15-Feb-2019 15:22                5232
Complete.agda                                      15-Feb-2019 15:22                1294
Gauge.agda                                         15-Feb-2019 15:22                 107