| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2024-03-23 | Added very scientific std stats | Marvin Borner | |
| 2024-03-22 | More AOC | Marvin Borner | |
| 2024-03-21 | Weird mistakes | Marvin Borner | |
| 2024-03-21 | Fixed AOC samples | Marvin Borner | |
| 2024-03-21 | Added lcm | Marvin Borner | |
| 2024-03-18 | Added linear logic | 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-14 | More samples | Marvin Borner | |
| 2024-03-13 | Better string comparison using prefixed spaceship operator | Marvin Borner | |
| Co-authored-by: JoJoBarthold2 <valentin.j.schmidt@web.de> | |||
| 2024-03-13 | Added much faster division algorithm | Marvin Borner | |
| 2024-03-10 | Better std UI | Marvin Borner | |
| 2024-03-10 | Added ternary logic | Marvin Borner | |
| 2024-03-10 | Added sample page to website | Marvin Borner | |
| 2024-03-10 | Remove optimizer for now (WIP!) | Marvin Borner | |
| 2024-03-10 | Samples and std additions | Marvin Borner | |
| 2024-03-03 | Even more samples | Marvin Borner | |
| wtf | |||
| 2024-03-02 | Bottles of beer | Marvin Borner | |
| 2024-03-02 | Docs & samples | Marvin Borner | |
| 2024-03-02 | Several additions to std | Marvin Borner | |
| Some weren't committed for a year! | |||
| 2024-03-02 | Started non-outsourced optimizer | Marvin Borner | |
| 2024-02-29 | Synced samples | Marvin Borner | |
| 2024-02-29 | great changes | Marvin Borner | |
| you gotta believe me, they're great. they're the best | |||
| 2024-02-29 | Fixed std paths | Marvin Borner | |
| 2024-02-29 | Added HigherOrder to test CI | Marvin Borner | |
| 2024-02-29 | Added benchmarks | Marvin Borner | |
| 2024-02-29 | Removed stacks test dir | Marvin Borner | |
| 2024-02-29 | Encourage use of combinators | Marvin Borner | |
| 2024-02-29 | Bump GHC | Marvin Borner | |
| 2024-02-29 | Added higher order reducer | Marvin Borner | |
| 2024-02-26 | Fixed universal machine | Marvin Borner | |
| 2024-02-26 | Added metacircular self-interpreter to wiki | Marvin Borner | |
| More details in the linked blog post. | |||
| 2024-02-25 | Added ION tests | Marvin Borner | |
| Will fail though | |||
| 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-23 | More Rosetta | Marvin Borner | |
| 2024-02-22 | Hyperfine measurement | Marvin Borner | |
| 2024-02-21 | Additions for Rosetta Code | Marvin Borner | |
| 2024-02-16 | Added basic stdlib CI | Marvin Borner | |
| 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-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. | |||
| 2024-01-18 | More efficient str→blc | Marvin Borner | |
| 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 | Added wiki to workflow | Marvin Borner | |
| 2023-11-11 | Fixed unquote operator | Marvin Borner | |
| 2023-11-11 | Minor wiki fixes | Marvin Borner | |
| css and blog | |||
| 2023-11-06 | Started unquote and improved quote | Marvin Borner | |
| 2023-11-06 | Minor general additions | Marvin Borner | |
| 2023-11-06 | Improved wiki and reduced readme | Marvin Borner | |
| 2023-11-06 | Started creating new docs with wiki | Marvin Borner | |
| 2023-11-02 | Improved kate syntax highlighting | Marvin Borner | |
| Should ultimately not rely on hardcoded math symbols | |||
| 2023-10-31 | Fixed flipped trits in comment | Marvin Borner | |
| 2023-10-30 | Fixed comments | Marvin Borner | |
| 2023-10-19 | Optimized boolean logic | Marvin Borner | |
| 2023-10-19 | Added example mutual recurrence relations for y* | Marvin Borner | |
| 2023-10-16 | Syntax highlighting fix for quoting and indices | Marvin Borner | |
| 2023-10-15 | Started meta lib | Marvin Borner | |
| 2023-10-15 | Fixed some minor things | Marvin Borner | |
| 2023-10-15 | Universal machine interpreter | Marvin Borner | |
| This is a fun lambda calculus interpreter, written in bruijn itself. The code is based on @Tromp submission to IOCCC 2012. Performance-wise the unary (fac 9) takes 11.4s simulated vs 1.2s native. -> main problem is memory, simulated (fac 10) causes memory overflow on 32GB. | |||
| 2023-10-14 | Generic Church and hyperfac | Marvin Borner | |
| 2023-10-06 | Fun with monads | 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-09-03 | Added workflow for docs | Marvin Borner | |
| 2023-08-05 | Removed redundant `∅?‣`, `^‣` and `~‣` | Marvin Borner | |
| Uses a fun technique that reduces readability but improves fun :) | |||
| 2023-08-02 | Added currently known busy beavers | Marvin Borner | |
| Part of my attempt to find BB(37) | |||
| 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-30 | Implemented power tower / knuth functions | Marvin Borner | |
| Again during sick hacking session at cool new hackerspace. Co-Authored-By: AnyUnderstanding <christopher.alan.w@gmail.com> | |||
| 2023-07-24 | Implemented logarithm functions | Marvin Borner | |
| Done during sick hacking session at cool new hackerspace. Co-Authored-By: AnyUnderstanding <christopher.alan.w@gmail.com> | |||
| 2023-07-08 | Added variadic y combinator | Marvin Borner | |
| 2023-07-08 | Added variadic signatures | Marvin Borner | |
| 2023-07-08 | Added variadic list constructor | Marvin Borner | |
| 2023-06-26 | Added eval/apply functions | Marvin Borner | |
| 2023-06-17 | Removed redundant line | Marvin Borner | |
| 2023-06-15 | Updated readme to include BLoC example | Marvin Borner | |
| 2023-06-04 | Added syntax highlighting for Kate | Marvin Borner | |
| 2023-06-03 | Added collatz conjecture | Marvin Borner | |
| 2023-06-02 | Updated builders | Marvin Borner | |
| 2023-06-02 | Added some missing functions | Marvin Borner | |
| 2023-05-31 | SEO | Marvin Borner | |
| 2023-04-08 | Added links to articles | Marvin Borner | |
| Feel free to add your own | |||
| 2023-04-08 | Added huge sequence generator | Marvin Borner | |
| 2023-04-08 | Various improvements to standard library docs | Marvin Borner | |
| 2023-03-12 | Fun | 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 | |