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
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
2023-02-28
Fixed weird sorting on some linux systems
Marvin Borner
2023-02-28
Additions to std/
Marvin Borner
2023-02-26
Added IO samples
Marvin Borner
2023-02-26
More std functions
Marvin Borner
2023-02-26
Docs improvements
Marvin Borner
2023-02-26
Added more unary functions
Marvin Borner
2023-02-25
Added font and fixed responsiveness
Marvin Borner
2023-02-25
Removed unimplemented options
Marvin Borner
2023-02-25
Added documentation/website
Marvin Borner
2023-02-25
Fixed wrong input syntax
Marvin Borner
2023-02-24
Added code samples
Marvin Borner
2023-02-24
Added more string/char functions
Marvin Borner
2023-02-24
Fixed readme formatting
Marvin Borner
2023-02-24
More reasonable defaults for REPL/editors
Marvin Borner
2023-02-24
Fixed minor errors in broogle
Marvin Borner
2023-02-24
Moved license/readme
Marvin Borner
2023-02-24
Moved number implementations
Marvin Borner
2023-02-24
Humanification of lists
Marvin Borner
2023-02-24
More functions for new representations
Marvin Borner
2023-02-23
More humanification
Marvin Borner
2023-02-23
Added watch command
Marvin Borner
2023-02-23
Added free command (doesn't really work though)
Marvin Borner
2023-02-23
Added time instruction
Marvin Borner
2023-02-23
Added unary/binary encoding suffixes
Marvin Borner
2023-02-23
Fixed unbound variable error
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
2023-02-21
Implemented RKNL in Haskell
Marvin Borner
2023-02-20
Removed typechecking
Marvin Borner
2023-01-04
Added broogle
Marvin Borner
2022-10-29
huh
Marvin Borner
2022-10-16
Started typing
Marvin Borner
2022-09-10
Switched to abbreviations
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
Even more unicodes
Marvin Borner
2022-08-31
More functions
Marvin Borner
2022-08-31
Unicodification
Marvin Borner
2022-08-30
Fixed prefix/mixfix usage as singleton function
Marvin Borner
2022-08-30
Fixed mixfix matching
Marvin Borner
2022-08-29
Added snippets
Marvin Borner
2022-08-29
Started mixfix chaining
Marvin Borner
2022-08-26
General std improvements
Marvin Borner
2022-08-23
Added advanced suggestion AI
Marvin Borner
2022-08-23
Allowed some unicode chars
Marvin Borner
2022-08-22
Fixed execution of multiple commands and removed :print
Marvin Borner
2022-08-22
Fixed leaking imports
Marvin Borner
2022-08-22
Fixed namespace prefix of infix/prefix functions
Marvin Borner
2022-08-21
Improved README
Marvin Borner
[next]