| .. |
|
ac1
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 лет назад |
|
ac2
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 лет назад |
|
ac3
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 лет назад |
|
cat
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 лет назад |
|
cwf
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 лет назад |
|
data
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 лет назад |
|
functor
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 лет назад |
|
latemeta
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 лет назад |
|
monad
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 лет назад |
|
monadpostulate
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 лет назад |
|
nested
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 лет назад |
|
patternmatch
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 лет назад |
|
polyfunctor
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 лет назад |
|
prim
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 лет назад |
|
record
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 лет назад |
|
syntax1
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 лет назад |
|
syntax2
|
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory
|
13 лет назад |
ulfn
3f7ff25694
proofs in the cwf benchmark are no longer abstract, small difference in time and memory