| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-09-06 | Refactored Helper.hs | 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-15 | Initial working optimization stage | Marvin Borner | |
| 2024-03-02 | Started non-outsourced optimizer | Marvin Borner | |
| 2024-02-29 | Added higher order reducer | Marvin Borner | |
| 2024-02-24 | Added verbose mode | Marvin Borner | |
| Mainly for CI right now, might extend in the future. | |||
| 2024-02-24 | Added reducer selection flag | Marvin Borner | |
| 2024-01-21 | Targetted dumping and (un)bblc | Marvin Borner | |
| 2024-01-19 | BLoC/BLoCade optimizer integration | Marvin 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-11 | Fixed unquote operator | Marvin Borner | |
| 2023-11-06 | Started unquote and improved quote | Marvin Borner | |
| 2023-09-22 | Minor improvements | Marvin Borner | |
| Sorry, don't exactly know and don't care. Just some things I apparently didn't commit | |||
| 2023-07-30 | Fixed length evaluation order | Marvin Borner | |
| Without this, the BLC length of the unreduced version of huge expressions will not be shown until reduction is finished. This was obviously wrong. | |||
| 2023-03-12 | Added length&blc commands | Marvin Borner | |
| 2023-03-11 | Applied linting tips | Marvin Borner | |
| 2023-03-09 | Added deepseq for better timing (no overhead) | Marvin Borner | |
| 2023-03-05 | Made stdin and argument conversion lazy | 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-21 | Implemented RKNL in Haskell | Marvin Borner | |
| 2023-02-20 | Removed typechecking | Marvin Borner | |
| Well, it's unnecessary complexity :D I might add checking again in the future, but you'll need to typecheck in your head for now. | |||
| 2022-10-16 | Started typing | Marvin Borner | |
| not like i've been typing for a long time lol | |||
| 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 | |
| blockchain soon | |||
| 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 | Reduced redundant testing | Marvin Borner | |
| 2022-08-17 | Added input instruction | Marvin Borner | |
| 2022-08-13 | Minor improvements | Marvin Borner | |
| 2022-08-12 | Added prefix support | Marvin Borner | |
| Needs some work regarding namespaces | |||
| 2022-08-12 | Added infix operator support | Marvin Borner | |
| This isn't compatible with the :test .. = .. syntax, therefore I removed it. They also don't have custom precedence/associativity support and aren't chainable right now. | |||
| 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 | Obviously trivial | Marvin Borner | |
| 2022-08-07 | Things | Marvin Borner | |
| lol | |||
| 2022-08-07 | Progress | Marvin Borner | |
| As always - very descriptive. I've been busy with exams but from now on I'll be working on bruijn again. | |||
| 2022-07-28 | Future | Marvin Borner | |
| 2022-07-26 | Stupidity | Marvin Borner | |
| 2022-07-24 | Trying a new syntax | Marvin Borner | |
| Let's see | |||
| 2022-07-18 | Improved help screen | Marvin Borner | |
| 2022-07-18 | Moved/improved standard library | Marvin Borner | |
| and other things | |||
| 2022-07-17 | Features | Marvin Borner | |
| very descriptive | |||
| 2022-07-16 | Got some things working | Marvin Borner | |
| 2022-07-15 | hmmm | Marvin Borner | |
| 2022-06-30 | Config, colors and completion | Marvin Borner | |
| (the three c's were completely random btw) | |||
| 2022-06-18 | Cleaned up eval functions | Marvin Borner | |
| 2022-06-18 | Switched to Megaparsec | Marvin Borner | |
| 2022-06-17 | Some binary magic | Marvin Borner | |
| 2022-06-16 | Basic compilation support | Marvin Borner | |
| 2022-04-24 | Tests | Marvin Borner | |
| 2022-04-22 | Balanced ternary something | Marvin Borner | |
| I don't even know anymore. What's happening? Quite confusing. | |||
| 2022-04-20 | Basic functionality | Marvin Borner | |
| 2022-04-20 | Dödödö | Marvin Borner | |
| 2022-04-12 | OK | Marvin Borner | |
| 2022-04-12 | Initial commit | Marvin Borner | |