Index of /code.haskell.org/Agda/examples/outdated-and-incorrect/univ/

../
Base.agda                                          15-Feb-2019 15:22                 595
Example.agda                                       15-Feb-2019 15:22                 478
Main.agda                                          15-Feb-2019 15:22                  70
Nat.agda                                           15-Feb-2019 15:22                 644
bugs-in-paper                                      15-Feb-2019 15:22                  52
cwf.agda                                           15-Feb-2019 15:22                8775
help.agda                                          15-Feb-2019 15:22                1870
proofs.agda                                        15-Feb-2019 15:22                4785
tmp.agda                                           15-Feb-2019 15:22                 634
univ.agda                                          15-Feb-2019 15:22               13964