aboutsummaryrefslogtreecommitdiffhomepage
path: root/package.yaml
AgeCommit message (Collapse)Author
2024-02-29Removed stacks test dirMarvin Borner
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-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-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-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-20DödödöMarvin Borner
2022-04-12Initial commitMarvin Borner