Age | Commit message (Expand) | Author |
---|---|---|
2025-03-05 | Better primality test | Marvin Borner |
2024-11-06 | Minor improvements | Marvin Borner |
2024-10-27 | Refactored comparisons and sets | Marvin Borner |
2024-07-27 | Some accumulated math changes | Marvin Borner |
2024-05-02 | More math | Marvin Borner |
2024-03-25 | Add support for context-dependent imports / generics | Marvin Borner |
2024-03-25 | Renamed number comparison functions | Marvin Borner |
2024-03-25 | More samples and definitions | Marvin Borner |
2024-03-13 | Better string comparison using prefixed spaceship operator | Marvin Borner |
2024-03-10 | Samples and std additions | Marvin Borner |
2024-02-29 | Encourage use of combinators | Marvin Borner |
2023-11-06 | Minor general additions | Marvin Borner |
2023-10-14 | Generic Church and hyperfac | Marvin Borner |
2023-04-08 | Various improvements to standard library docs | Marvin Borner |
2023-02-26 | More std functions | Marvin Borner |
2023-02-26 | Added more unary functions | Marvin Borner |
2023-02-24 | Moved number implementations | Marvin Borner |