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