aboutsummaryrefslogtreecommitdiffhomepage
path: root/editors
AgeCommit message (Expand)Author
2024-05-02More mathMarvin Borner
2024-04-15Added parsing and printing of complex numbersMarvin Borner
2023-11-02Improved kate syntax highlightingMarvin Borner
2023-10-16Syntax highlighting fix for quoting and indicesMarvin Borner
2023-09-03Added De Bruijn numeralsMarvin Borner
2023-06-17Removed redundant lineMarvin Borner
2023-06-04Added syntax highlighting for KateMarvin Borner
2023-02-24More reasonable defaults for REPL/editorsMarvin Borner
2022-09-10Switched to abbreviationsMarvin Borner
2022-08-31Even more unicodesMarvin Borner
2022-08-31UnicodificationMarvin Borner
2022-08-29Added snippetsMarvin Borner
2022-08-22Fixed execution of multiple commands and removed :printMarvin Borner
2022-08-17Added input instructionMarvin Borner
2022-08-12Added prefix supportMarvin Borner
2022-08-10Added syntactic sugar for strings & charsMarvin Borner
2022-08-08Tighter syntax rulesMarvin Borner
2022-08-08Better syntax highlightingMarvin Borner
2022-06-30Very basic syntax highlightingMarvin Borner