| Age | Commit message (Expand) | Author |
|---|---|---|
| 2025-03-06 | Add state demoHEADmain | Marvin Borner |
| 2025-01-23 | Experiment of golfing Wilson's theorem | Marvin Borner |
| 2024-11-27 | Fix rng state | Marvin Borner |
| 2024-11-27 | Monad improvements | Marvin Borner |
| 2024-10-28 | Improved minibruijn and parser | Marvin Borner |
| 2024-10-27 | Improvements in maps, sets, and parsing | Marvin Borner |
| 2024-10-26 | Initial minibruijn | Marvin Borner |
| 2024-09-08 | Fun new tupling technique | Marvin Borner |
| 2024-09-06 | Sample/std fixes | Marvin Borner |
| 2024-06-09 | Fixed IO function names | Marvin Borner |
| 2024-06-07 | Some more work on monads | Marvin Borner |
| 2024-05-17 | Fixed tests | Marvin Borner |
| 2024-05-17 | Minor additions :) | Marvin Borner |
| 2024-05-02 | More math | Marvin Borner |
| 2024-03-03 | Even more samples | Marvin Borner |
| 2024-02-16 | Added strong Rosenberg encoding for meta encoding | Marvin Borner |
| 2024-01-18 | More efficient str→blc | Marvin Borner |
| 2023-11-06 | Minor general additions | Marvin Borner |
| 2023-10-19 | Added example mutual recurrence relations for y* | Marvin Borner |
| 2023-10-15 | Universal machine interpreter | Marvin Borner |
| 2023-10-06 | Fun with monads | Marvin Borner |
| 2023-06-03 | Added collatz conjecture | Marvin Borner |
| 2023-04-08 | Added huge sequence generator | Marvin Borner |
| 2023-03-12 | Fun | Marvin Borner |
| 2023-03-05 | More samples | Marvin Borner |