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
Age
Commit message (
Expand
)
Author
2024-02-23
More Rosetta
Marvin Borner
2024-02-22
Hyperfine measurement
Marvin Borner
2024-02-21
Additions for Rosetta Code
Marvin Borner
2024-02-16
Added basic stdlib CI
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-11
Fixed unquote operator
Marvin Borner
2023-11-11
Minor wiki fixes
Marvin Borner
2023-11-06
Started unquote and improved quote
Marvin Borner
2023-11-06
Minor general additions
Marvin Borner
2023-10-30
Fixed comments
Marvin Borner
2023-10-19
Optimized boolean logic
Marvin Borner
2023-10-15
Started meta lib
Marvin Borner
2023-10-15
Fixed some minor things
Marvin Borner
2023-10-14
Generic Church and hyperfac
Marvin Borner
2023-10-06
Fun with monads
Marvin Borner
2023-08-05
Removed redundant `∅?‣`, `^‣` and `~‣`
Marvin Borner
2023-08-02
Added currently known busy beavers
Marvin Borner
2023-07-30
Implemented power tower / knuth functions
Marvin Borner
2023-07-24
Implemented logarithm functions
Marvin Borner
2023-07-08
Added variadic y combinator
Marvin Borner
2023-07-08
Added variadic signatures
Marvin Borner
2023-07-08
Added variadic list constructor
Marvin Borner
2023-06-26
Added eval/apply functions
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-06
Started AVL tree implementation
Marvin Borner
2023-03-05
Switched to prefixed listification
Marvin Borner
2023-03-05
Monadic list/io interface
Marvin Borner
2023-03-04
More efficient mst functions
Marvin Borner
2023-03-04
Added box functions
Marvin Borner
2023-03-04
More efficient math functions
Marvin Borner
2023-03-04
Added odd/even functions
Marvin Borner
2023-03-04
Fixed pi algorithm
Marvin Borner
2023-03-03
Added second part of aoc and needed functions
Marvin Borner
2023-03-03
Faster string breaking
Marvin Borner
2023-02-28
Additions to std/
Marvin Borner
2023-02-26
More std functions
Marvin Borner
2023-02-26
Added more unary functions
Marvin Borner
2023-02-25
Fixed wrong input syntax
Marvin Borner
2023-02-24
Added more string/char functions
Marvin Borner
2023-02-24
Moved number implementations
Marvin Borner
2023-02-24
More functions for new representations
Marvin Borner
2023-02-23
Additions to standard library
Marvin Borner
2023-02-23
Fixed and typed result/option monads
Marvin Borner
2023-02-23
Added more types
Marvin Borner
2023-02-22
Added types for most combinators
Marvin Borner
2023-02-21
Standard library sync
Marvin Borner
2022-09-02
Improved mst/last performance
Marvin Borner
2022-09-01
More work on division
Marvin Borner
2022-09-01
Started division functions
Marvin Borner
2022-08-31
More functions
Marvin Borner
2022-08-31
Unicodification
Marvin Borner
2022-08-29
Started mixfix chaining
Marvin Borner
2022-08-26
General std improvements
Marvin Borner
2022-08-22
Fixed execution of multiple commands and removed :print
Marvin Borner
2022-08-20
Parser shenanigans
Marvin Borner
2022-08-20
Started math library
Marvin Borner
2022-08-19
General improvements
Marvin Borner
2022-08-17
Many additional functions
Marvin Borner
2022-08-16
Std improvements
Marvin Borner
2022-08-15
List implementation improvements
Marvin Borner
2022-08-15
General std cleanup
Marvin Borner
2022-08-15
Arithmeticity
Marvin Borner
2022-08-15
Combinator replacements
Marvin Borner
2022-08-13
Bird combinators
Marvin Borner
2022-08-13
Minor improvements
Marvin Borner
2022-08-12
Added prefix support
Marvin Borner
2022-08-12
Added infix operator support
Marvin Borner
2022-08-10
Added syntactic sugar for strings & chars
Marvin Borner
2022-08-09
Added import loop error
Marvin Borner
2022-08-09
Implementations
Marvin Borner
2022-08-08
Obviously trivial
Marvin Borner
2022-08-07
Things
Marvin Borner
2022-08-07
Progress
Marvin Borner
2022-07-26
Stupidity
Marvin Borner
2022-07-24
Trying a new syntax
Marvin Borner
2022-07-18
Improved std library
Marvin Borner
2022-07-18
Moved/improved standard library
Marvin Borner