ホーム エクスプローラ ヘルプ
サインイン
caryoscelus
/
agda
Watch 1
Star 0
Fork 0
ファイル 課題 0 プルリクエスト 0 Wiki
ツリー: 9c190b6ebc
ブランチ タグ
agda
/
benchmark
/
logs
/
20110823-07.51-ulf-norells-macbook-pro
ulfn f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 年 前
..
ac1 f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 年 前
ac2 f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 年 前
ac3 f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 年 前
cat f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 年 前
cwf f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 年 前
functor f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 年 前
latemeta f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 年 前
monad f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 年 前
monadpostulate f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 年 前
polyfunctor f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 年 前
prim f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 年 前
syntax1 f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 年 前
syntax2 f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 年 前