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
/
docs
/
wiki_src
Age
Commit message (
Expand
)
Author
2024-08-01
Fixed overflow scrollbar on select browsers
Marvin Borner
2024-07-28
Improved documentation
Marvin Borner
2024-05-22
Funny joke hihi
Marvin Borner
2024-03-18
Minor orthographic improvements
Marvin Borner
2024-03-16
Added two fun animations
Marvin Borner
2024-03-15
Initial working optimization stage
Marvin Borner
2024-03-10
Added sample page to website
Marvin Borner
2024-03-10
Samples and std additions
Marvin Borner
2024-03-03
Even more samples
Marvin Borner
2024-02-29
Added higher order reducer
Marvin Borner
2024-02-26
Added metacircular self-interpreter to wiki
Marvin Borner
2024-02-16
Added strong Rosenberg encoding for meta encoding
Marvin Borner
2024-01-19
BLoC/BLoCade optimizer integration
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-11
Added basic syntax highlighting to wiki
Marvin Borner
2023-11-11
Minor wiki fixes
Marvin Borner
2023-11-06
Improved wiki and reduced readme
Marvin Borner
2023-11-06
Started creating new docs with wiki
Marvin Borner