ulfn 2230158da0 new benchmark example which requires a lot of memory for mysterious reasons 13 years ago
..
ac1 2230158da0 new benchmark example which requires a lot of memory for mysterious reasons 13 years ago
ac2 2230158da0 new benchmark example which requires a lot of memory for mysterious reasons 13 years ago
ac3 2230158da0 new benchmark example which requires a lot of memory for mysterious reasons 13 years ago
cat 2230158da0 new benchmark example which requires a lot of memory for mysterious reasons 13 years ago
cwf 2230158da0 new benchmark example which requires a lot of memory for mysterious reasons 13 years ago
functor 2230158da0 new benchmark example which requires a lot of memory for mysterious reasons 13 years ago
latemeta 2230158da0 new benchmark example which requires a lot of memory for mysterious reasons 13 years ago
monad 2230158da0 new benchmark example which requires a lot of memory for mysterious reasons 13 years ago
monadpostulate 2230158da0 new benchmark example which requires a lot of memory for mysterious reasons 13 years ago
patternmatch 2230158da0 new benchmark example which requires a lot of memory for mysterious reasons 13 years ago
polyfunctor 2230158da0 new benchmark example which requires a lot of memory for mysterious reasons 13 years ago
prim 2230158da0 new benchmark example which requires a lot of memory for mysterious reasons 13 years ago
syntax1 2230158da0 new benchmark example which requires a lot of memory for mysterious reasons 13 years ago
syntax2 2230158da0 new benchmark example which requires a lot of memory for mysterious reasons 13 years ago