| Age | Commit message (Collapse) | 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 | |
| MAATHTHAHHAHA | |||
| 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 | |
| wtf | |||
| 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 | |
| Mainly for CI right now, might extend in the future. | |||
| 2024-02-24 | Minor ION cleanup | Marvin Borner | |
| 2024-02-24 | Initial import of the ION reducer | Marvin Borner | |
| The full commit history can be found on AIT/nf.hs since this is mainly a translation of Tromp's nf.c | |||
| 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 | |
| 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-11-06 | Minor general additions | Marvin Borner | |
| 2023-10-31 | Fixed flipped trits in comment | 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-09-03 | Added De Bruijn numerals | Marvin Borner | |
| 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-07-30 | Added uniform function call syntax support (UFCS) | Marvin Borner | |
| Also disallows dots in identifiers. Probably shouldn't be overused but allows things like `(+5).(replicate (+3)).sum` which is pretty fun tbh. | |||
| 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 | |
| Enabling optimization greatly improved reduction times (obviously). Will investigate further optimizations in the future. | |||
| 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 | |
| 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-31 | Even more unicodes | Marvin Borner | |
| 2022-08-31 | Unicodification | Marvin Borner | |
| I like unicode, sorry if you have a different opinion | |||
| 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 | |
| blockchain soon | |||
| 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 | |
| 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 | Tighter syntax rules | 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-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 | |
| (the three c's were completely random btw) | |||