ulfn 3f7ff25694 proofs in the cwf benchmark are no longer abstract, small difference in time and memory 13 anni fa
..
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