| .. |
|
ac1
|
f3eef72858
Benchmark run with (more) correct times for Typing.
|
11 lat temu |
|
ac2
|
f3eef72858
Benchmark run with (more) correct times for Typing.
|
11 lat temu |
|
ac3
|
f3eef72858
Benchmark run with (more) correct times for Typing.
|
11 lat temu |
|
any
|
f3eef72858
Benchmark run with (more) correct times for Typing.
|
11 lat temu |
|
cat
|
f3eef72858
Benchmark run with (more) correct times for Typing.
|
11 lat temu |
|
cwf
|
f3eef72858
Benchmark run with (more) correct times for Typing.
|
11 lat temu |
|
data
|
f3eef72858
Benchmark run with (more) correct times for Typing.
|
11 lat temu |
|
functor
|
f3eef72858
Benchmark run with (more) correct times for Typing.
|
11 lat temu |
|
latemeta
|
f3eef72858
Benchmark run with (more) correct times for Typing.
|
11 lat temu |
|
monad
|
f3eef72858
Benchmark run with (more) correct times for Typing.
|
11 lat temu |
|
monadpostulate
|
f3eef72858
Benchmark run with (more) correct times for Typing.
|
11 lat temu |
|
nested
|
f3eef72858
Benchmark run with (more) correct times for Typing.
|
11 lat temu |
|
patternmatch
|
f3eef72858
Benchmark run with (more) correct times for Typing.
|
11 lat temu |
|
polyfunctor
|
f3eef72858
Benchmark run with (more) correct times for Typing.
|
11 lat temu |
|
prim
|
f3eef72858
Benchmark run with (more) correct times for Typing.
|
11 lat temu |
|
record
|
f3eef72858
Benchmark run with (more) correct times for Typing.
|
11 lat temu |
|
syntax1
|
f3eef72858
Benchmark run with (more) correct times for Typing.
|
11 lat temu |
|
syntax2
|
f3eef72858
Benchmark run with (more) correct times for Typing.
|
11 lat temu |
Andreas Abel
f3eef72858
Benchmark run with (more) correct times for Typing.