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

../
Common/                                            15-Feb-2019 15:22                   -
Sized/                                             15-Feb-2019 15:22                   -
Acc.agda                                           15-Feb-2019 15:22                 973
Example.agda                                       15-Feb-2019 15:22                6994
List.agda                                          15-Feb-2019 15:22                4283
Mutual.agda                                        15-Feb-2019 15:22                 341
Nat.agda                                           15-Feb-2019 15:22                1817
Ord.agda                                           15-Feb-2019 15:22                 190
README                                             15-Feb-2019 15:22                  61
Stream.agda                                        15-Feb-2019 15:22                1467
StreamEating.agda                                  15-Feb-2019 15:22                1403
StreamProc.agda                                    15-Feb-2019 15:22                2091
StructuralOrder.agda                               15-Feb-2019 15:22                 858
TerminationTwoConstructors.agda                    15-Feb-2019 15:22                 329
Tuple.agda                                         15-Feb-2019 15:22                 806
Where.agda                                         15-Feb-2019 15:22                 334
comb.agda                                          15-Feb-2019 15:22                3398
simplified-comb.agda                               15-Feb-2019 15:22                 607