Strona główna Odkrywaj Pomoc
Zaloguj się
caryoscelus
/
agda
Obserwuj 1
Polub 0
Forkuj 0
Pliki Problemy 0 Oczekujące zmiany 0 Wiki
Drzewo: 9c190b6ebc
Gałęzie Tagi
agda
/
benchmark
/
logs
/
20110909-23.56-Ulfs-MacBook-Pro
ulfn 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary 13 lat temu
..
ac1 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary 13 lat temu
ac2 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary 13 lat temu
ac3 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary 13 lat temu
any 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary 13 lat temu
cat 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary 13 lat temu
cwf 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary 13 lat temu
data 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary 13 lat temu
functor 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary 13 lat temu
latemeta 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary 13 lat temu
monad 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary 13 lat temu
monadpostulate 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary 13 lat temu
nested 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary 13 lat temu
patternmatch 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary 13 lat temu
polyfunctor 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary 13 lat temu
prim 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary 13 lat temu
record 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary 13 lat temu
syntax1 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary 13 lat temu
syntax2 39fb7d6887 added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary 13 lat temu