| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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-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 | |