Index of /code.haskell.org/GenI/branches/UnifySem/etc/perftest/


../
grammar-adjtest.geni                               15-Feb-2019 12:16              253555
lemmas.glex                                        15-Feb-2019 12:16              126625
lexselection-t33                                   15-Feb-2019 12:16              792917
semantics-adjunctions-hard                         15-Feb-2019 12:16                 254
semantics-adjunctions-t8                           15-Feb-2019 12:16                 137
semantics-t33                                      15-Feb-2019 12:16                 241