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
/
src
Age
Commit message (
Expand
)
Author
2025-02-10
Added superscript letters
Marvin Borner
2024-10-28
Improved minibruijn and parser
Marvin Borner
2024-10-27
Improvements in maps, sets, and parsing
Marvin Borner
2024-09-06
Refactored Helper.hs
Marvin Borner
2024-08-23
Added concatenation
Marvin Borner
2024-08-06
Complex updates
Marvin Borner
2024-05-02
More math
Marvin Borner
2024-04-15
Added parsing and printing of complex numbers
Marvin Borner
2024-04-13
Visual improvements
Marvin Borner
2024-04-13
Added initial implementation for floats/rationals
Marvin Borner
2024-03-30
Fixed paths of nested imports
Marvin Borner
2024-03-25
Add support for context-dependent imports / generics
Marvin Borner
2024-03-18
Minor orthographic improvements
Marvin Borner
2024-03-15
Initial working optimization stage
Marvin Borner
2024-03-10
Remove optimizer for now (WIP!)
Marvin Borner
2024-03-03
Even more samples
Marvin Borner
2024-03-02
Started non-outsourced optimizer
Marvin Borner
2024-02-29
Added higher order reducer
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-21
Additions for Rosetta Code
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
2023-11-11
Fixed unquote operator
Marvin Borner
2023-11-06
Started unquote and improved quote
Marvin Borner
2023-11-06
Minor general additions
Marvin Borner
2023-10-31
Fixed flipped trits in comment
Marvin Borner
2023-09-22
Minor improvements
Marvin Borner
2023-09-03
Added De Bruijn numerals
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-08
Added variadic signatures
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-05
Way faster recursive show
Marvin Borner
2023-03-05
Made stdin and argument conversion lazy
Marvin Borner
2023-03-03
Added pair humanificator
Marvin Borner
2023-02-25
Removed unimplemented options
Marvin Borner
2023-02-24
Humanification of lists
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-21
Implemented RKNL in Haskell
Marvin Borner
2023-02-20
Removed typechecking
Marvin Borner
2022-10-16
Started typing
Marvin Borner
2022-08-31
Even more unicodes
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
Started mixfix chaining
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
Moved Environment to Map
Marvin Borner
2022-08-21
Added import caching
Marvin Borner
2022-08-20
Parser shenanigans
Marvin Borner
2022-08-19
General improvements
Marvin Borner
2022-08-19
Fixed BLC
Marvin Borner
2022-08-18
Fixed fromBinary
Marvin Borner
2022-08-18
Reduced redundant testing
Marvin Borner
2022-08-17
Added input instruction
Marvin Borner
2022-08-17
Many additional functions
Marvin Borner
2022-08-16
More special chars
Marvin Borner
2022-08-13
Bird combinators
Marvin Borner
2022-08-13
Minor improvements
Marvin Borner
2022-08-12
Added prefix support
Marvin Borner
2022-08-12
Added infix operator support
Marvin Borner
2022-08-10
Extestation and humanification
Marvin Borner
2022-08-10
Added syntactic sugar for strings & chars
Marvin Borner
2022-08-10
Context, errors and IO
Marvin Borner
2022-08-09
Added import loop error
Marvin Borner
2022-08-08
Tighter syntax rules
Marvin Borner
2022-08-08
Obviously trivial
Marvin Borner
2022-08-07
Things
Marvin Borner
2022-08-07
Progress
Marvin Borner
2022-07-28
Future
Marvin Borner
2022-07-26
Stupidity
Marvin Borner
2022-07-24
Trying a new syntax
Marvin Borner
2022-07-18
Improved help screen
Marvin Borner
2022-07-18
Moved/improved standard library
Marvin Borner
2022-07-17
Features
Marvin Borner
2022-07-17
More examples
Marvin Borner
2022-07-16
Got some things working
Marvin Borner
2022-07-15
hmmm
Marvin Borner
2022-07-12
Sync
Marvin Borner
2022-06-30
Config, colors and completion
Marvin Borner
[next]