| .. |
|
ac1
|
af1da280f1
benchmark run with new constraint machinery
|
il y a 13 ans |
|
ac2
|
af1da280f1
benchmark run with new constraint machinery
|
il y a 13 ans |
|
ac3
|
af1da280f1
benchmark run with new constraint machinery
|
il y a 13 ans |
|
any
|
af1da280f1
benchmark run with new constraint machinery
|
il y a 13 ans |
|
cat
|
af1da280f1
benchmark run with new constraint machinery
|
il y a 13 ans |
|
cwf
|
af1da280f1
benchmark run with new constraint machinery
|
il y a 13 ans |
|
data
|
af1da280f1
benchmark run with new constraint machinery
|
il y a 13 ans |
|
functor
|
af1da280f1
benchmark run with new constraint machinery
|
il y a 13 ans |
|
latemeta
|
af1da280f1
benchmark run with new constraint machinery
|
il y a 13 ans |
|
monad
|
af1da280f1
benchmark run with new constraint machinery
|
il y a 13 ans |
|
monadpostulate
|
af1da280f1
benchmark run with new constraint machinery
|
il y a 13 ans |
|
nested
|
af1da280f1
benchmark run with new constraint machinery
|
il y a 13 ans |
|
patternmatch
|
af1da280f1
benchmark run with new constraint machinery
|
il y a 13 ans |
|
polyfunctor
|
af1da280f1
benchmark run with new constraint machinery
|
il y a 13 ans |
|
prim
|
af1da280f1
benchmark run with new constraint machinery
|
il y a 13 ans |
|
record
|
af1da280f1
benchmark run with new constraint machinery
|
il y a 13 ans |
|
syntax1
|
af1da280f1
benchmark run with new constraint machinery
|
il y a 13 ans |
|
syntax2
|
af1da280f1
benchmark run with new constraint machinery
|
il y a 13 ans |
ulfn
af1da280f1
benchmark run with new constraint machinery