aboutsummaryrefslogtreecommitdiffhomepage
path: root/bruijn.cabal
AgeCommit message (Collapse)Author
2025-01-12Disabled LLVM flagMarvin Borner
2024-10-27Improvements in maps, sets, and parsingMarvin Borner
2024-10-27Refactored comparisons and setsMarvin Borner
2024-10-26Minor fixesMarvin Borner
2024-10-26Scrappy parser combinatorsMarvin Borner
2024-09-06Synced cabalMarvin Borner
2024-04-15Added parsing and printing of complex numbersMarvin Borner
2024-04-13Visual improvementsMarvin Borner
2024-03-25Add support for context-dependent imports / genericsMarvin Borner
2024-03-10Added ternary logicMarvin Borner
2024-03-10Samples and std additionsMarvin Borner
2024-03-02Started non-outsourced optimizerMarvin Borner
2024-02-29Removed stacks test dirMarvin Borner
2024-02-29Bump GHCMarvin Borner
2024-02-29Added higher order reducerMarvin Borner
2024-02-24Added reducer selection flagMarvin Borner
2024-02-16Added basic stdlib CIMarvin Borner
2024-02-16Added strong Rosenberg encoding for meta encodingMarvin Borner
Originally got the idea from @sgoguen (YC) and was further inspired by @hbr from one of their blog posts[1]. The current encoding has some holes and bad performance, so I might switch to a different one in the future. The wiki and metaprogramming blog post have been updated accordingly. [1] https://hbr.github.io/Lambda-Calculus/computability/text.html
2024-01-19BLoC/BLoCade optimizer integrationMarvin Borner
In many cases, shared-by-abstraction BLC is more performant (and notably smaller) than the current output where every term just gets substituted (and potentially duplicated) directly. BLoC in combination with BLoCade's shared BLC target optimizes this automatically by trying to find the terms that would most benefit from deduplication and abstracting them respectively. Paging @tromp since we talked about this. This commit also introduces better argument parsing using optparse-applicative.
2023-11-06Started unquote and improved quoteMarvin Borner
2023-10-06Fun with monadsMarvin Borner
2023-06-02Updated buildersMarvin Borner
2023-03-09Added deepseq for better timing (no overhead)Marvin Borner
2023-03-07Fixed unsafe randomness and optimizationMarvin Borner
Enabling optimization greatly improved reduction times (obviously). Will investigate further optimizations in the future.
2023-03-07Useful additionsMarvin Borner
hehe
2023-03-06Started AVL tree implementationMarvin Borner
2023-03-05Monadic list/io interfaceMarvin Borner
2023-03-04Added box functionsMarvin Borner
Very helpful for some data structures
2023-02-28Additions to std/Marvin Borner
2023-02-24Added more string/char functionsMarvin Borner
2023-02-24Moved number implementationsMarvin Borner
2023-02-23Added watch commandMarvin Borner
2023-02-21Implemented RKNL in HaskellMarvin Borner
2022-08-23Added advanced suggestion AIMarvin Borner
blockchain soon
2022-08-19General improvementsMarvin Borner
2022-08-10Added syntactic sugar for strings & charsMarvin Borner
2022-08-08Obviously trivialMarvin Borner
2022-08-07ThingsMarvin Borner
lol
2022-07-24Trying a new syntaxMarvin Borner
Let's see
2022-07-18Moved/improved standard libraryMarvin Borner
and other things
2022-07-16Got some things workingMarvin Borner
2022-06-30Very basic syntax highlightingMarvin Borner
2022-06-30Config, colors and completionMarvin Borner
(the three c's were completely random btw)
2022-06-18Switched to MegaparsecMarvin Borner
2022-06-17Some binary magicMarvin Borner
2022-04-20Basic functionalityMarvin Borner
2022-04-20DödödöMarvin Borner
2022-04-12Initial commitMarvin Borner