Index of /code.haskell.org/SLPJ-collaborative-papers/ndp/_darcs/current/


../
Makefile                                           15-Feb-2019 09:09                1417
Speedup.hs                                         15-Feb-2019 09:09                 854
TheBigPicture.dia                                  15-Feb-2019 09:09               69390
TheBigPicture.eps                                  15-Feb-2019 09:09               27149
bruja-time                                         15-Feb-2019 09:09                 108
damp.sty                                           15-Feb-2019 09:09                 539
ndp.bib                                            15-Feb-2019 09:09                6970
ndp.tex                                            15-Feb-2019 09:09               56196
pepino-time                                        15-Feb-2019 09:09                 106
serenity-1core-float-time                          15-Feb-2019 09:09                  76
serenity-1core-time                                15-Feb-2019 09:09                  77
serenity-2core-float-time                          15-Feb-2019 09:09                 131
serenity-2core-time                                15-Feb-2019 09:09                 104
serenity-all-speedup-colour.eps                    15-Feb-2019 09:09               16116
serenity-all-speedup-colour.gplot                  15-Feb-2019 09:09                 701
serenity-float-speedup-colour.eps                  15-Feb-2019 09:09               15562
serenity-float-speedup-colour.gplot                15-Feb-2019 09:09                 456
serenity-speedup-colour.eps                        15-Feb-2019 09:09               15533
serenity-speedup-colour.gplot                      15-Feb-2019 09:09                 422
sigplanconf.cls                                    15-Feb-2019 09:09               32947
simon.bib                                          15-Feb-2019 09:09             1212846
slpj-author.bib                                    15-Feb-2019 09:09               40037
speedup-colour.eps                                 15-Feb-2019 09:09               15613
speedup-colour.gplot                               15-Feb-2019 09:09                 436
speedup.eps                                        15-Feb-2019 09:09               15485
speedup.gplot                                      15-Feb-2019 09:09                 234
time-colour.eps                                    15-Feb-2019 09:09               15516
time-colour.gplot                                  15-Feb-2019 09:09                 578
time.eps                                           15-Feb-2019 09:09               15039
time.gplot                                         15-Feb-2019 09:09                 229
williams-time                                      15-Feb-2019 09:09                  22
williams-time.eps                                  15-Feb-2019 09:09               15057