ulfn f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 years ago
..
ac1 f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 years ago
ac2 f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 years ago
ac3 f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 years ago
cat f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 years ago
cwf f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 years ago
functor f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 years ago
latemeta f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 years ago
monad f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 years ago
monadpostulate f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 years ago
polyfunctor f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 years ago
prim f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 years ago
syntax1 f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 years ago
syntax2 f894a74496 switched prim benchmark to using a record for sigma and two new benchmark runs 13 years ago