Home Verkennen Help
Inloggen
caryoscelus
/
agda
Volgen 1
Ster 0
Vork 0
Bestanden Kwesties 0 Pull-aanvragen 0 Wiki
Boom: 9c190b6ebc
Aftakkingen Labels
agda
/
benchmark
/
logs
/
20110907-05.32-Ulfs-MacBook-Pro
ulfn 3f7ff25694 proofs in the cwf benchmark are no longer abstract, small difference in time and memory 13 jaren geleden
..
ac1 3f7ff25694 proofs in the cwf benchmark are no longer abstract, small difference in time and memory 13 jaren geleden
ac2 3f7ff25694 proofs in the cwf benchmark are no longer abstract, small difference in time and memory 13 jaren geleden
ac3 3f7ff25694 proofs in the cwf benchmark are no longer abstract, small difference in time and memory 13 jaren geleden
cat 3f7ff25694 proofs in the cwf benchmark are no longer abstract, small difference in time and memory 13 jaren geleden
cwf 3f7ff25694 proofs in the cwf benchmark are no longer abstract, small difference in time and memory 13 jaren geleden
data 3f7ff25694 proofs in the cwf benchmark are no longer abstract, small difference in time and memory 13 jaren geleden
functor 3f7ff25694 proofs in the cwf benchmark are no longer abstract, small difference in time and memory 13 jaren geleden
latemeta 3f7ff25694 proofs in the cwf benchmark are no longer abstract, small difference in time and memory 13 jaren geleden
monad 3f7ff25694 proofs in the cwf benchmark are no longer abstract, small difference in time and memory 13 jaren geleden
monadpostulate 3f7ff25694 proofs in the cwf benchmark are no longer abstract, small difference in time and memory 13 jaren geleden
nested 3f7ff25694 proofs in the cwf benchmark are no longer abstract, small difference in time and memory 13 jaren geleden
patternmatch 3f7ff25694 proofs in the cwf benchmark are no longer abstract, small difference in time and memory 13 jaren geleden
polyfunctor 3f7ff25694 proofs in the cwf benchmark are no longer abstract, small difference in time and memory 13 jaren geleden
prim 3f7ff25694 proofs in the cwf benchmark are no longer abstract, small difference in time and memory 13 jaren geleden
record 3f7ff25694 proofs in the cwf benchmark are no longer abstract, small difference in time and memory 13 jaren geleden
syntax1 3f7ff25694 proofs in the cwf benchmark are no longer abstract, small difference in time and memory 13 jaren geleden
syntax2 3f7ff25694 proofs in the cwf benchmark are no longer abstract, small difference in time and memory 13 jaren geleden