aboutsummaryrefslogtreecommitdiffhomepage
path: root/editors
AgeCommit message (Collapse)Author
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