Halaman utama Jelajahi Bantuan
Masuk
caryoscelus
/
agda
Liatin 1
Bintangi 0
Fork 0
Berkas Masalah 0 Tarik Permintaan 0 Wiki
Pohon: 9c190b6ebc
Ranting Tag
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 tahun lalu
..
ac1 f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 tahun lalu
ac2 f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 tahun lalu
ac3 f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 tahun lalu
cat f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 tahun lalu
cwf f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 tahun lalu
functor f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 tahun lalu
latemeta f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 tahun lalu
monad f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 tahun lalu
monadpostulate f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 tahun lalu
polyfunctor f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 tahun lalu
prim f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 tahun lalu
syntax1 f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 tahun lalu
syntax2 f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 tahun lalu