| .. |
|
ac1
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 lat temu |
|
ac2
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 lat temu |
|
ac3
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 lat temu |
|
any
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 lat temu |
|
cat
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 lat temu |
|
cwf
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 lat temu |
|
data
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 lat temu |
|
functor
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 lat temu |
|
latemeta
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 lat temu |
|
monad
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 lat temu |
|
monadpostulate
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 lat temu |
|
nested
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 lat temu |
|
patternmatch
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 lat temu |
|
polyfunctor
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 lat temu |
|
prim
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 lat temu |
|
record
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 lat temu |
|
syntax1
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 lat temu |
|
syntax2
|
10c13e0bba
Some benchmark runs on Andreas laptops.
|
11 lat temu |
Andreas Abel
10c13e0bba
Some benchmark runs on Andreas laptops.