v0.7.0

⚠️ Broken: does not contain the Rzk Language Server (rzk lsp).

Major changes:

• Add an experimental rzk format command (by Abdelrahman Abounegm @aabounegm, with feedback by Fredrik Bakke (see sHoTT#142) and Nikolai Kudasov):
  • Automatically format files, partially automating the Code Style of the sHoTT project
  • Notable features:
    • Adds a space after the opening parenthesis to help with the code tree structure
    • Puts the definition conclusion (type, starting with :) and construction (body, starting with :=) on new lines
    • Adds a space after the \ of a lambda term and around binary operators (like ,)
    • Moves binary operators to the beginning of the next line if they appear at the end of the previous one.
    • Replaces common ASCII sequences with their Unicode equivalent
    • A CLI subcommand (rzk format) with --check and --write options
  • Known limitations
    • The 80 character line limit is currently not enforced due to the difficulty of determining where to add line breaks (for reference, check out this post by a Dart fmt engineer)
    • Fixing indentation is not yet implemented due to the need for more semantics than the lexer provides to determine indentation level.
    • There may be rare edge cases in which applying the formatter twice could result in additional edits that were not detected the first time.

Minor changes:

• Fix "latest" Rzk Playground link (see #137);
• Add more badges to README (see #136);