aboutsummaryrefslogtreecommitdiffhomepage
path: root/bruijn
AgeCommit message (Expand)Author
2024-09-13y >> thetaMarvin Borner
2024-09-13Massive code reductionMarvin Borner
2024-04-07Cantor and moreMarvin Borner
2024-04-07Experiments with parallel reduction workersMarvin Borner
2024-04-07Add experiments to gitMarvin Borner
2024-04-06PerformanceMarvin Borner
2024-04-04Initial ideasMarvin Borner