| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-12-31 | Link description | Marvin Borner | |
| 2024-11-09 | Logo hover event | Marvin Borner | |
| 2024-11-02 | Added links to std to example symbols | Marvin Borner | |
| 2024-10-31 | Trigger hover event for function jump in url | Marvin Borner | |
| 2024-10-31 | Fixed parsing of prefix operators starting with hashes | Marvin Borner | |
| 2024-10-28 | Fixed minor intelligence issues | Marvin Borner | |
| 2024-08-20 | Added basic std alias detection | Marvin Borner | |
| 2024-08-06 | Added new blog post | Marvin Borner | |
| 2024-08-01 | Fixed overflow scrollbar on select browsers | Marvin Borner | |
| 2024-08-01 | Fixed definitions from imports and input | Marvin Borner | |
| 2024-08-01 | Minor improvements | Marvin Borner | |
| 2024-08-01 | Much more intelligence | Marvin Borner | |
| 2024-07-28 | Improved documentation | Marvin Borner | |
| 2024-05-22 | Funny joke hihi | Marvin Borner | |
| 2024-05-22 | Fixed highlighting for complex numbers | Marvin Borner | |
| REMOVE THIS GARBAGE CODE IN THE FUTURE | |||
| 2024-05-02 | More math | Marvin Borner | |
| MAATHTHAHHAHA | |||
| 2024-04-13 | Visual improvements | Marvin Borner | |
| 2024-03-25 | Improved samples by adding links to problems | Marvin Borner | |
| 2024-03-25 | More samples and definitions | Marvin Borner | |
| 2024-03-23 | Added very scientific std stats | Marvin Borner | |
| 2024-03-21 | Weird mistakes | Marvin Borner | |
| 2024-03-18 | Minor orthographic improvements | Marvin Borner | |
| 2024-03-16 | Added two fun animations | Marvin Borner | |
| 2024-03-15 | Initial working optimization stage | Marvin Borner | |
| 2024-03-10 | Better std UI | Marvin Borner | |
| 2024-03-10 | Added sample page to website | Marvin Borner | |
| 2024-03-10 | Samples and std additions | Marvin Borner | |
| 2024-03-03 | Even more samples | Marvin Borner | |
| wtf | |||
| 2024-03-02 | Docs & samples | Marvin Borner | |
| 2024-02-29 | Fixed std paths | Marvin Borner | |
| 2024-02-29 | Added higher order reducer | Marvin Borner | |
| 2024-02-26 | Added metacircular self-interpreter to wiki | Marvin Borner | |
| More details in the linked blog post. | |||
| 2024-02-16 | Added strong Rosenberg encoding for meta encoding | Marvin 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-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-12-15 | Minor documentation fixes | Marvin Borner | |
| 2023-11-30 | Minor highlighting fixes | Marvin Borner | |
| 2023-11-16 | Basic arithmetic is hard | Marvin Borner | |
| 2023-11-13 | Bumped max-width percentage | Marvin Borner | |
| 2023-11-11 | Added basic syntax highlighting to wiki | Marvin Borner | |
| 2023-11-11 | Minor wiki fixes | Marvin Borner | |
| css and blog | |||
| 2023-11-06 | Improved wiki and reduced readme | Marvin Borner | |
| 2023-11-06 | Started creating new docs with wiki | Marvin Borner | |
| 2023-05-31 | SEO | Marvin Borner | |
| 2023-04-08 | Added links to articles | Marvin Borner | |
| Feel free to add your own | |||
| 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-02-28 | Fixed weird sorting on some linux systems | Marvin Borner | |
| 2023-02-26 | Docs improvements | Marvin Borner | |
| 2023-02-25 | Added font and fixed responsiveness | Marvin Borner | |
| 2023-02-25 | Added documentation/website | Marvin Borner | |