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
/
samples
Age
Commit message (
Expand
)
Author
2024-02-29
Synced samples
Marvin Borner
2024-02-26
Fixed universal machine
Marvin Borner
2024-02-23
More Rosetta
Marvin Borner
2024-02-21
Additions for Rosetta Code
Marvin Borner
2024-02-16
Added strong Rosenberg encoding for meta encoding
Marvin Borner
2024-01-18
More efficient str→blc
Marvin Borner
2023-11-06
Minor general additions
Marvin Borner
2023-10-19
Added example mutual recurrence relations for y*
Marvin Borner
2023-10-15
Universal machine interpreter
Marvin Borner
2023-10-06
Fun with monads
Marvin Borner
2023-06-03
Added collatz conjecture
Marvin Borner
2023-04-08
Added huge sequence generator
Marvin Borner
2023-03-12
Fun
Marvin Borner
2023-03-07
Fixed unsafe randomness and optimization
Marvin Borner
2023-03-07
Added a few advent of code solutions
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-03
Added second part of aoc and needed functions
Marvin Borner
2023-03-03
Faster string breaking
Marvin Borner
2023-02-26
Added IO samples
Marvin Borner
2023-02-24
Added code samples
Marvin Borner