| .. |
|
ac1
|
9e5b6c61d3
benchmarks for projection like functions (category example with data sigma and nested record sigma)
|
13 роки тому |
|
ac2
|
9e5b6c61d3
benchmarks for projection like functions (category example with data sigma and nested record sigma)
|
13 роки тому |
|
ac3
|
9e5b6c61d3
benchmarks for projection like functions (category example with data sigma and nested record sigma)
|
13 роки тому |
|
cat
|
9e5b6c61d3
benchmarks for projection like functions (category example with data sigma and nested record sigma)
|
13 роки тому |
|
cwf
|
9e5b6c61d3
benchmarks for projection like functions (category example with data sigma and nested record sigma)
|
13 роки тому |
|
data
|
9e5b6c61d3
benchmarks for projection like functions (category example with data sigma and nested record sigma)
|
13 роки тому |
|
functor
|
9e5b6c61d3
benchmarks for projection like functions (category example with data sigma and nested record sigma)
|
13 роки тому |
|
latemeta
|
9e5b6c61d3
benchmarks for projection like functions (category example with data sigma and nested record sigma)
|
13 роки тому |
|
monad
|
9e5b6c61d3
benchmarks for projection like functions (category example with data sigma and nested record sigma)
|
13 роки тому |
|
monadpostulate
|
9e5b6c61d3
benchmarks for projection like functions (category example with data sigma and nested record sigma)
|
13 роки тому |
|
nested
|
9e5b6c61d3
benchmarks for projection like functions (category example with data sigma and nested record sigma)
|
13 роки тому |
|
patternmatch
|
9e5b6c61d3
benchmarks for projection like functions (category example with data sigma and nested record sigma)
|
13 роки тому |
|
polyfunctor
|
9e5b6c61d3
benchmarks for projection like functions (category example with data sigma and nested record sigma)
|
13 роки тому |
|
prim
|
9e5b6c61d3
benchmarks for projection like functions (category example with data sigma and nested record sigma)
|
13 роки тому |
|
record
|
9e5b6c61d3
benchmarks for projection like functions (category example with data sigma and nested record sigma)
|
13 роки тому |
|
syntax1
|
9e5b6c61d3
benchmarks for projection like functions (category example with data sigma and nested record sigma)
|
13 роки тому |
|
syntax2
|
9e5b6c61d3
benchmarks for projection like functions (category example with data sigma and nested record sigma)
|
13 роки тому |
ulfn
9e5b6c61d3
benchmarks for projection like functions (category example with data sigma and nested record sigma)