Index of /code.haskell.org/Agda/src/core/Thierry/

../
Check.hs                                           15-Feb-2019 15:20                1163
Cont.hs                                            15-Feb-2019 15:20                 819
Conv.hs                                            15-Feb-2019 15:20                1449
Core.cf                                            15-Feb-2019 15:20                1457
Decl1.hs                                           15-Feb-2019 15:20                2430
Exp1.hs                                            15-Feb-2019 15:20                1282
Main.hs                                            15-Feb-2019 15:20                 763
Makefile                                           15-Feb-2019 15:20                2812
Val.hs                                             15-Feb-2019 15:20                1338
test                                               15-Feb-2019 15:20                 820
test1                                              15-Feb-2019 15:20                  53
test2                                              15-Feb-2019 15:20                  52
test3                                              15-Feb-2019 15:20                  27
test4                                              15-Feb-2019 15:20                  30
test5                                              15-Feb-2019 15:20                 861