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
2025-03-05
Better primality test
Marvin Borner
2025-01-23
Improve Parigot numbers
Marvin Borner
2025-01-23
Whoops!
Marvin Borner
2024-11-27
Monad improvements
Marvin Borner
2024-11-06
Minor improvements
Marvin Borner
2024-10-28
Fixed minor intelligence issues
Marvin Borner
2024-10-28
Improved minibruijn and parser
Marvin Borner
2024-10-27
Improvements in maps, sets, and parsing
Marvin Borner
2024-10-27
Refactored comparisons and sets
Marvin Borner
2024-10-26
Minor fixes
Marvin Borner
2024-10-26
Fixed balanced tree / set
Marvin Borner
2024-10-26
Initial minibruijn
Marvin Borner
2024-10-26
Scrappy parser combinators
Marvin Borner
2024-09-08
Fixed y*
Marvin Borner
2024-09-08
Fun new tupling technique
Marvin Borner
2024-09-06
Sample/std fixes
Marvin Borner
2024-08-23
Added concatenation
Marvin Borner
2024-08-23
Fixed many bugs (was very sleepy)
Marvin Borner
2024-08-23
lgtm, didn't test
Marvin Borner
2024-08-06
Complex updates
Marvin Borner
2024-08-02
Improved Parigot data types
Marvin Borner
2024-08-01
Fixed definitions from imports and input
Marvin Borner
2024-08-01
Much more intelligence
Marvin Borner
2024-07-29
Added actual source to definition
Marvin Borner
2024-07-28
Added std definition map
Marvin Borner
2024-07-27
Some accumulated math changes
Marvin Borner
2024-07-27
Fixed truly crazy bug in some rare cases
Marvin Borner
2024-07-27
Improved division by several magnitudes
Marvin Borner
2024-06-07
Some more work on monads
Marvin Borner
2024-05-17
Minor additions :)
Marvin Borner
2024-05-02
More math
Marvin Borner
2024-04-25
Working Taylor expansions
Marvin Borner
2024-04-25
Various experiments
Marvin Borner
2024-04-25
Better limiting using unary mapping
Marvin Borner
2024-04-24
More tests
Marvin Borner
2024-04-15
Added parsing and printing of complex numbers
Marvin Borner
2024-04-13
Started complex numbers
Marvin Borner
2024-04-13
Worked on real numbers
Marvin Borner
2024-04-13
Added initial implementation for floats/rationals
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
No, you were just stupid
Marvin Borner
2024-03-25
More samples and definitions
Marvin Borner
2024-03-23
Some Project Euler solutions
Marvin Borner
2024-03-21
Weird mistakes
Marvin Borner
2024-03-21
Added lcm
Marvin Borner
2024-03-18
Added linear logic
Marvin Borner
2024-03-18
Minor orthographic improvements
Marvin Borner
2024-03-14
More samples
Marvin Borner
2024-03-13
Better string comparison using prefixed spaceship operator
Marvin Borner
2024-03-13
Added much faster division algorithm
Marvin Borner
2024-03-10
Better std UI
Marvin Borner
2024-03-10
Added ternary logic
Marvin Borner
2024-03-10
Samples and std additions
Marvin Borner
2024-03-03
Even more samples
Marvin Borner
2024-03-02
Bottles of beer
Marvin Borner
2024-03-02
Docs & samples
Marvin Borner
2024-03-02
Several additions to std
Marvin Borner
2024-02-29
great changes
Marvin Borner
2024-02-29
Encourage use of combinators
Marvin Borner
2024-02-26
Fixed universal machine
Marvin Borner
2024-02-25
Added ION tests
Marvin Borner
2024-02-24
Added verbose mode
Marvin Borner
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
[next]