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
/
bruijn.cabal
Age
Commit message (
Expand
)
Author
2025-01-12
Disabled LLVM flag
Marvin Borner
2024-10-27
Improvements in maps, sets, and parsing
Marvin Borner
2024-10-27
Refactored comparisons and sets
Marvin Borner
2024-10-26
Minor fixes
Marvin Borner
2024-10-26
Scrappy parser combinators
Marvin Borner
2024-09-06
Synced cabal
Marvin Borner
2024-04-15
Added parsing and printing of complex numbers
Marvin Borner
2024-04-13
Visual improvements
Marvin Borner
2024-03-25
Add support for context-dependent imports / generics
Marvin Borner
2024-03-10
Added ternary logic
Marvin Borner
2024-03-10
Samples and std additions
Marvin Borner
2024-03-02
Started non-outsourced optimizer
Marvin Borner
2024-02-29
Removed stacks test dir
Marvin Borner
2024-02-29
Bump GHC
Marvin Borner
2024-02-29
Added higher order reducer
Marvin Borner
2024-02-24
Added reducer selection flag
Marvin Borner
2024-02-16
Added basic stdlib CI
Marvin Borner
2024-02-16
Added strong Rosenberg encoding for meta encoding
Marvin Borner
2024-01-19
BLoC/BLoCade optimizer integration
Marvin Borner
2023-11-06
Started unquote and improved quote
Marvin Borner
2023-10-06
Fun with monads
Marvin Borner
2023-06-02
Updated builders
Marvin Borner
2023-03-09
Added deepseq for better timing (no overhead)
Marvin Borner
2023-03-07
Fixed unsafe randomness and optimization
Marvin Borner
2023-03-07
Useful additions
Marvin Borner
2023-03-06
Started AVL tree implementation
Marvin Borner
2023-03-05
Monadic list/io interface
Marvin Borner
2023-03-04
Added box functions
Marvin Borner
2023-02-28
Additions to std/
Marvin Borner
2023-02-24
Added more string/char functions
Marvin Borner
2023-02-24
Moved number implementations
Marvin Borner
2023-02-23
Added watch command
Marvin Borner
2023-02-21
Implemented RKNL in Haskell
Marvin Borner
2022-08-23
Added advanced suggestion AI
Marvin Borner
2022-08-19
General improvements
Marvin Borner
2022-08-10
Added syntactic sugar for strings & chars
Marvin Borner
2022-08-08
Obviously trivial
Marvin Borner
2022-08-07
Things
Marvin Borner
2022-07-24
Trying a new syntax
Marvin Borner
2022-07-18
Moved/improved standard library
Marvin Borner
2022-07-16
Got some things working
Marvin Borner
2022-06-30
Very basic syntax highlighting
Marvin Borner
2022-06-30
Config, colors and completion
Marvin Borner
2022-06-18
Switched to Megaparsec
Marvin Borner
2022-06-17
Some binary magic
Marvin Borner
2022-04-20
Basic functionality
Marvin Borner
2022-04-20
Dödödö
Marvin Borner
2022-04-12
Initial commit
Marvin Borner