| .. |
|
ac1
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
13 年之前 |
|
ac2
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
13 年之前 |
|
ac3
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
13 年之前 |
|
any
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
13 年之前 |
|
cat
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
13 年之前 |
|
cwf
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
13 年之前 |
|
data
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
13 年之前 |
|
functor
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
13 年之前 |
|
latemeta
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
13 年之前 |
|
monad
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
13 年之前 |
|
monadpostulate
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
13 年之前 |
|
nested
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
13 年之前 |
|
patternmatch
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
13 年之前 |
|
polyfunctor
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
13 年之前 |
|
prim
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
13 年之前 |
|
record
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
13 年之前 |
|
syntax1
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
13 年之前 |
|
syntax2
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
13 年之前 |
ulfn
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary