| Age | Commit message (Expand) | Author |
|---|---|---|
| 2024-05-02 | More math | Marvin Borner |
| 2024-04-15 | Added parsing and printing of complex numbers | Marvin Borner |
| 2023-10-16 | Syntax highlighting fix for quoting and indices | Marvin Borner |
| 2023-09-03 | Added De Bruijn numerals | Marvin Borner |
| 2023-02-24 | More reasonable defaults for REPL/editors | Marvin Borner |
| 2022-09-10 | Switched to abbreviations | Marvin Borner |
| 2022-08-31 | Even more unicodes | Marvin Borner |
| 2022-08-31 | Unicodification | Marvin Borner |
| 2022-08-29 | Added snippets | Marvin Borner |
| 2022-08-22 | Fixed execution of multiple commands and removed :print | Marvin Borner |
| 2022-08-17 | Added input instruction | Marvin Borner |
| 2022-08-12 | Added prefix support | Marvin Borner |
| 2022-08-10 | Added syntactic sugar for strings & chars | Marvin Borner |
| 2022-08-08 | Tighter syntax rules | Marvin Borner |
| 2022-08-08 | Better syntax highlighting | Marvin Borner |
| 2022-06-30 | Very basic syntax highlighting | Marvin Borner |