Index of /code.haskell.org/Agda/examples/Termination/Sized/

../
DeBruijn.agda                                      15-Feb-2019 15:22                7691
DeBruijnExSubstSized.agda                          15-Feb-2019 15:22                3277
SizedNat.agda                                      15-Feb-2019 15:22                 967
SizedNatAnnotated.agda                             15-Feb-2019 15:22                 635