0.0.19

0.0.19 - 2023-10-13

Language

• Add under ⍜ both ∩
• Remove restack ⇵ for good
• Remove roll ↷ and unroll ↶ for good
• @\s can now be used in addition to @ to get a space character

Interpreter

• Many performance improvements and memory usage reductions
• Many bug and crash fixes
• Add some additional style diagnostics
• Add more semantic token types to the language server
• Stop using deprecated MarkedString in the language server

Website

• The editor's font size can now be changed
• Improve brackets/quotes behavior in the editor
• HTML is now properly escaped in the editor
• Formatting can now put the cursor to the left of the current token (toggleable in the settings)