index
:
marvinborner/bruijn
main
:abacus: Programming with pure lambda calculus
Marvin
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
Age
Commit message (
Expand
)
Author
2024-03-02
Several additions to std
Marvin Borner
2024-03-02
Started non-outsourced optimizer
Marvin Borner
2024-02-29
Synced samples
Marvin Borner
2024-02-29
great changes
Marvin Borner
2024-02-29
Fixed std paths
Marvin Borner
2024-02-29
Added HigherOrder to test CI
Marvin Borner
2024-02-29
Added benchmarks
Marvin Borner
2024-02-29
Removed stacks test dir
Marvin Borner
2024-02-29
Encourage use of combinators
Marvin Borner
2024-02-29
Bump GHC
Marvin Borner
2024-02-29
Added higher order reducer
Marvin Borner
2024-02-26
Fixed universal machine
Marvin Borner
2024-02-26
Added metacircular self-interpreter to wiki
Marvin Borner
2024-02-25
Added ION tests
Marvin Borner
2024-02-25
Fixed warnings
Marvin Borner
2024-02-24
Added verbose mode
Marvin Borner
2024-02-24
Minor ION cleanup
Marvin Borner
2024-02-24
Initial import of the ION reducer
Marvin Borner
2024-02-24
Added reducer selection flag
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-16
Added meta humanifier
Marvin Borner
2024-02-15
Added number conversion utility functions
Marvin Borner
2024-01-21
Targetted dumping and (un)bblc
Marvin Borner
2024-01-19
BLoC/BLoCade optimizer integration
Marvin Borner
2024-01-18
More efficient str→blc
Marvin Borner
2023-12-15
Minor documentation fixes
Marvin Borner
2023-11-30
Minor highlighting fixes
Marvin Borner
2023-11-16
Basic arithmetic is hard
Marvin Borner
2023-11-13
Bumped max-width percentage
Marvin Borner
2023-11-11
Added basic syntax highlighting to wiki
Marvin Borner
2023-11-11
Added wiki to workflow
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-11-06
Improved wiki and reduced readme
Marvin Borner
2023-11-06
Started creating new docs with wiki
Marvin Borner
2023-11-02
Improved kate syntax highlighting
Marvin Borner
2023-10-31
Fixed flipped trits in comment
Marvin Borner
2023-10-30
Fixed comments
Marvin Borner
2023-10-19
Optimized boolean logic
Marvin Borner
2023-10-19
Added example mutual recurrence relations for y*
Marvin Borner
2023-10-16
Syntax highlighting fix for quoting and indices
Marvin Borner
2023-10-15
Started meta lib
Marvin Borner
2023-10-15
Fixed some minor things
Marvin Borner
2023-10-15
Universal machine interpreter
Marvin Borner
2023-10-14
Generic Church and hyperfac
Marvin Borner
2023-10-06
Fun with monads
Marvin Borner
2023-09-22
Minor improvements
Marvin Borner
2023-09-03
Added De Bruijn numerals
Marvin Borner
2023-09-03
Added workflow for docs
Marvin Borner
2023-08-05
Removed redundant `∅?‣`, `^‣` and `~‣`
Marvin Borner
2023-08-02
Added currently known busy beavers
Marvin Borner
2023-07-30
Fixed length evaluation order
Marvin Borner
2023-07-30
Added uniform function call syntax support (UFCS)
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-17
Removed redundant line
Marvin Borner
2023-06-15
Updated readme to include BLoC example
Marvin Borner
2023-06-04
Added syntax highlighting for Kate
Marvin Borner
2023-06-03
Added collatz conjecture
Marvin Borner
2023-06-02
Updated builders
Marvin Borner
2023-06-02
Added some missing functions
Marvin Borner
2023-05-31
SEO
Marvin Borner
2023-04-08
Added links to articles
Marvin Borner
2023-04-08
Added huge sequence generator
Marvin Borner
2023-04-08
Various improvements to standard library docs
Marvin Borner
2023-03-12
Fun
Marvin Borner
2023-03-12
Added length&blc commands
Marvin Borner
2023-03-11
Strictness
Marvin Borner
2023-03-11
Applied linting tips
Marvin Borner
2023-03-09
Added deepseq for better timing (no overhead)
Marvin Borner
2023-03-08
Less IO
Marvin Borner
2023-03-07
Fixed unsafe randomness and optimization
Marvin Borner
2023-03-07
Added logo to readme
Marvin Borner
2023-03-07
Added language annotation
Marvin Borner
2023-03-07
Useful additions
Marvin Borner
2023-03-07
Added a few advent of code solutions
Marvin Borner
2023-03-06
Started AVL tree implementation
Marvin Borner
2023-03-05
Switched to prefixed listification
Marvin Borner
2023-03-05
More samples
Marvin Borner
2023-03-05
Way faster recursive show
Marvin Borner
2023-03-05
Made stdin and argument conversion lazy
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 pair humanificator
Marvin Borner
2023-03-03
Added second part of aoc and needed functions
Marvin Borner
2023-03-03
Faster string breaking
Marvin Borner
[prev]
[next]