.. |
ac1
|
6cbc2d6034
benchmark run for pushing types into constructor applications
|
13 lat temu |
ac2
|
6cbc2d6034
benchmark run for pushing types into constructor applications
|
13 lat temu |
ac3
|
6cbc2d6034
benchmark run for pushing types into constructor applications
|
13 lat temu |
cat
|
6cbc2d6034
benchmark run for pushing types into constructor applications
|
13 lat temu |
cwf
|
6cbc2d6034
benchmark run for pushing types into constructor applications
|
13 lat temu |
data
|
6cbc2d6034
benchmark run for pushing types into constructor applications
|
13 lat temu |
functor
|
6cbc2d6034
benchmark run for pushing types into constructor applications
|
13 lat temu |
latemeta
|
6cbc2d6034
benchmark run for pushing types into constructor applications
|
13 lat temu |
monad
|
6cbc2d6034
benchmark run for pushing types into constructor applications
|
13 lat temu |
monadpostulate
|
6cbc2d6034
benchmark run for pushing types into constructor applications
|
13 lat temu |
nested
|
6cbc2d6034
benchmark run for pushing types into constructor applications
|
13 lat temu |
patternmatch
|
6cbc2d6034
benchmark run for pushing types into constructor applications
|
13 lat temu |
polyfunctor
|
6cbc2d6034
benchmark run for pushing types into constructor applications
|
13 lat temu |
prim
|
6cbc2d6034
benchmark run for pushing types into constructor applications
|
13 lat temu |
record
|
6cbc2d6034
benchmark run for pushing types into constructor applications
|
13 lat temu |
syntax1
|
6cbc2d6034
benchmark run for pushing types into constructor applications
|
13 lat temu |
syntax2
|
6cbc2d6034
benchmark run for pushing types into constructor applications
|
13 lat temu |