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
Age
Commit message (
Expand
)
Author
2024-02-21
Additions for Rosetta Code
Marvin Borner
2024-02-16
Added strong Rosenberg encoding for meta encoding
Marvin Borner
2024-02-15
Added number conversion utility functions
Marvin Borner
2024-01-18
More efficient str→blc
Marvin Borner
2023-12-15
Minor documentation fixes
Marvin Borner
2023-11-06
Minor general additions
Marvin Borner
2023-10-30
Fixed comments
Marvin Borner
2023-10-14
Generic Church and hyperfac
Marvin Borner
2023-06-02
Added some missing functions
Marvin Borner
2023-04-08
Various improvements to standard library docs
Marvin Borner
2023-03-07
Useful additions
Marvin Borner
2023-03-05
Switched to prefixed listification
Marvin Borner
2023-03-04
More efficient mst functions
Marvin Borner
2023-03-04
More efficient math functions
Marvin Borner
2023-03-04
Added odd/even functions
Marvin Borner
2023-02-26
More std functions
Marvin Borner
2023-02-26
Added more unary functions
Marvin Borner
2023-02-24
Added more string/char functions
Marvin Borner
2023-02-24
Moved number implementations
Marvin Borner