Index of /code.haskell.org/Agda/examples/outdated-and-incorrect/Alonzo/

../
AlonzoPrelude.agda                                 15-Feb-2019 15:22                1390
BadPrintf.agda                                     15-Feb-2019 15:22                2487
BadPrintf2.agda                                    15-Feb-2019 15:22                2450
Bool.agda                                          15-Feb-2019 15:22                 176
Bool.hs                                            15-Feb-2019 15:22                 344
ListTest.agda                                      15-Feb-2019 15:22                 253
Makefile                                           15-Feb-2019 15:22                 628
Point.agda                                         15-Feb-2019 15:22                 278
Point.hs                                           15-Feb-2019 15:22                 343
PreludeAll.agda                                    15-Feb-2019 15:22                 137
PreludeBool.agda                                   15-Feb-2019 15:22                 824
PreludeInt.agda                                    15-Feb-2019 15:22                 336
PreludeList.agda                                   15-Feb-2019 15:22                1701
PreludeNat.agda                                    15-Feb-2019 15:22                1587
PreludeNatType.agda                                15-Feb-2019 15:22                 120
PreludeNatType.hs                                  15-Feb-2019 15:22                 179
PreludeShow.agda                                   15-Feb-2019 15:22                1132
PreludeString.agda                                 15-Feb-2019 15:22                 635
Primitive.agda                                     15-Feb-2019 15:22                  24
PrintFloat.agda                                    15-Feb-2019 15:22                2519
PrintNat.agda                                      15-Feb-2019 15:22                  84
Printf.agda                                        15-Feb-2019 15:22                2982
Proj.agda                                          15-Feb-2019 15:22                 351
Q.agda                                             15-Feb-2019 15:22                 538
README                                             15-Feb-2019 15:22                 703
RTD.hs                                             15-Feb-2019 15:22                 244
RTN.agda                                           15-Feb-2019 15:22                 109
RTN.hs                                             15-Feb-2019 15:22                 168
RTP.agda                                           15-Feb-2019 15:22                 982
RTP.hs                                             15-Feb-2019 15:22                2455
RTP.hs.sav                                         15-Feb-2019 15:22                1178
RTS.hs                                             15-Feb-2019 15:22                 211
Records.agda                                       15-Feb-2019 15:22                2656
Records.hs                                         15-Feb-2019 15:22                3149
TestInt.agda                                       15-Feb-2019 15:22                 155
TestNat.agda                                       15-Feb-2019 15:22                 486
TestVec.agda                                       15-Feb-2019 15:22                 441
TestWith.agda                                      15-Feb-2019 15:22                1798
Vec.agda                                           15-Feb-2019 15:22                4524
almake                                             15-Feb-2019 15:22                  67