aboutsummaryrefslogtreecommitdiffhomepage
path: root/editors
AgeCommit message (Collapse)Author
2024-05-02More mathMarvin Borner
MAATHTHAHHAHA
2024-04-15Added parsing and printing of complex numbersMarvin Borner
2023-11-02Improved kate syntax highlightingMarvin Borner
Should ultimately not rely on hardcoded math symbols
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
I like unicode, sorry if you have a different opinion
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
Needs some work regarding namespaces
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