aboutsummaryrefslogtreecommitdiffhomepage
path: root/std/Number/Unary.bruijn
AgeCommit message (Expand)Author
2025-03-05Better primality testMarvin Borner
2024-11-06Minor improvementsMarvin Borner
2024-10-27Refactored comparisons and setsMarvin Borner
2024-07-27Some accumulated math changesMarvin Borner
2024-05-02More mathMarvin Borner
2024-03-25Add support for context-dependent imports / genericsMarvin Borner
2024-03-25Renamed number comparison functionsMarvin Borner
2024-03-25More samples and definitionsMarvin Borner
2024-03-13Better string comparison using prefixed spaceship operatorMarvin Borner
2024-03-10Samples and std additionsMarvin Borner
2024-02-29Encourage use of combinatorsMarvin Borner
2023-11-06Minor general additionsMarvin Borner
2023-10-14Generic Church and hyperfacMarvin Borner
2023-04-08Various improvements to standard library docsMarvin Borner
2023-02-26More std functionsMarvin Borner
2023-02-26Added more unary functionsMarvin Borner
2023-02-24Moved number implementationsMarvin Borner