coot/free-category
1
1
Fork 0
mirror of https://github.com/coot/free-category.git synced 2024-09-11 14:17:30 +03:00
Code Issues Projects Releases Wiki Activity
2545d97eb0
free-category/bench
History
Marcin Szamotulski 2545d97eb0 Renamed foldCat as foldNatCat
2019-09-08 21:08:52 +02:00
..
Main.hs Renamed foldCat as foldNatCat 2019-09-08 21:08:52 +02:00
report-O0.md Updated benchmark reports 2019-09-07 09:58:45 +02:00
report-O1.md Updated benchmark reports 2019-09-07 09:58:45 +02:00
report-O2.md Updated benchmark reports 2019-09-07 09:58:45 +02:00