Index of /code.haskell.org/Agda/examples/AIM5/PolyDep/

../
Homogenous/                                        15-Feb-2019 15:22                   -
EqBase.agda                                        15-Feb-2019 15:22                3372
Main.agda                                          15-Feb-2019 15:22                 202
PolyDepPrelude.agda                                15-Feb-2019 15:22                3873
Reflexivity.agda                                   15-Feb-2019 15:22                 327
TYPE.agda                                          15-Feb-2019 15:22                 122
Tools.agda                                         15-Feb-2019 15:22                9030
log.txt                                            15-Feb-2019 15:22                 301