 Andrea Vezzosi
|
982e18cdcb
[ fix #5600 ] alwaysUnblock when comparing MissingClauses neutrals (#5672)
|
3 роки тому |
 Nils Anders Danielsson
|
95d4470c4c
[ Issue 1109, Issue 1436 ] New default precedence level: unrelated.
|
9 роки тому |
 Andrés Sicard-Ramírez
|
dcd3b453cb
[ fix-agda-whithespace ] Added .agda, .cabal and .md files.
|
10 роки тому |
 ulfn
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 роки тому |
|
ulfn
|
fc8e93ce99
fixed broken benchmarks and cleaned up log parser (also: new benchmark run)
|
13 роки тому |
 andres.sicard
|
47b1ee868a
Updated benchmark suite to avoid clashes with the new reserved words (λ and →).
|
16 роки тому |
 ulfn
|
cc1f4b51c5
added a benchmark with some categories with families stuff
|
16 роки тому |
