| .. |
|
ac1
|
0712beaa2e
new benchmark implementing a category record using sigmas
|
13 سال پیش |
|
ac2
|
0712beaa2e
new benchmark implementing a category record using sigmas
|
13 سال پیش |
|
ac3
|
0712beaa2e
new benchmark implementing a category record using sigmas
|
13 سال پیش |
|
cat
|
0712beaa2e
new benchmark implementing a category record using sigmas
|
13 سال پیش |
|
cwf
|
0712beaa2e
new benchmark implementing a category record using sigmas
|
13 سال پیش |
|
functor
|
0712beaa2e
new benchmark implementing a category record using sigmas
|
13 سال پیش |
|
latemeta
|
0712beaa2e
new benchmark implementing a category record using sigmas
|
13 سال پیش |
|
monad
|
0712beaa2e
new benchmark implementing a category record using sigmas
|
13 سال پیش |
|
monadpostulate
|
0712beaa2e
new benchmark implementing a category record using sigmas
|
13 سال پیش |
|
polyfunctor
|
0712beaa2e
new benchmark implementing a category record using sigmas
|
13 سال پیش |
|
prim
|
0712beaa2e
new benchmark implementing a category record using sigmas
|
13 سال پیش |
|
syntax1
|
0712beaa2e
new benchmark implementing a category record using sigmas
|
13 سال پیش |
|
syntax2
|
0712beaa2e
new benchmark implementing a category record using sigmas
|
13 سال پیش |
ulfn
0712beaa2e
new benchmark implementing a category record using sigmas