.. |
ac1
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 anni fa |
ac2
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 anni fa |
ac3
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 anni fa |
cat
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 anni fa |
cwf
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 anni fa |
data
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 anni fa |
functor
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 anni fa |
latemeta
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 anni fa |
monad
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 anni fa |
monadpostulate
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 anni fa |
nested
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 anni fa |
patternmatch
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 anni fa |
polyfunctor
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 anni fa |
prim
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 anni fa |
record
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 anni fa |
syntax1
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 anni fa |
syntax2
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 anni fa |