index
:
marvinborner/bruijn
main
:abacus: Programming with pure lambda calculus
Marvin
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
std
/
Number
/
Unary.bruijn
Age
Commit message (
Collapse
)
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
MAATHTHAHHAHA
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
Co-authored-by: JoJoBarthold2 <valentin.j.schmidt@web.de>
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