Index of /code.haskell.org/Agda/benchmark/Syntacticosmos/

../
Basics.agda                                        15-Feb-2019 15:17                 226
Cxt.agda                                           15-Feb-2019 15:17                1121
Eta.agda                                           15-Feb-2019 15:17                1641
Inst.agda                                          15-Feb-2019 15:17                2194
Kind.agda                                          15-Feb-2019 15:17                 239
Loc.agda                                           15-Feb-2019 15:17                1638
Nom.agda                                           15-Feb-2019 15:17                1981
Pr.agda                                            15-Feb-2019 15:17                1827
README                                             15-Feb-2019 15:17                3909
Shift.agda                                         15-Feb-2019 15:17                1892
Subst.agda                                         15-Feb-2019 15:17                1942
Syntacticosmos.agda                                15-Feb-2019 15:17                 410
Term.agda                                          15-Feb-2019 15:17                3782
UntypedLambda.agda                                 15-Feb-2019 15:17                 766