首頁 探索 說明
登入
caryoscelus
/
agda
關註 1
讚好 0
複刻 0
Files 問題管理 0 合併請求 0 Wiki
目錄樹: 9c190b6ebc
分支列表 標籤列表
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 年之前
..
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 年之前