Merge branch 'release-v0.7.5'

* release-v0.7.5:
  Bump version and update changelog
  Support newer lsp
  Switch to macos-12 (since macos-latest does not have Stack yet)
  Update all actions
  Made naming consistent for Sigma Tuples
  Added tuple patterns
  Support tuple patterns (desugared to left-associative nested pairs)
  Added lsp tokenization
  Added ASCII and Unicode rules
  Corrected overlapping rule
  Implemented syntactic sugar for nested sigma types
  Bump nixpkgs version
  Improve error reporting for unused variables
  Mention Ground Zero project (HoTT formalization in Lean 4)
  Fix Markdown formatting in the changelog
  Correct location for parse error diagnostics

Merge branch 'release-v0.7.4'

* release-v0.7.4:
  Bump version and update changelog
  fix(rzk-playground): update package-lock
  fix(ci > ghcjs): caching
  fix(rzk-playground): add type annotation
  fix(package): dependency versions
  fix(rzk-playground): use default vite readme
  Fix caching in presence of errors
  Use proper record, not anonymous triple
  fix typo
  Add type errors to the cache
  Move changed files handler to the handlers module
  Move semantic tokens provider to handlers module

Merge branch 'release-v0.7.3'

* release-v0.7.3:
  Bump version and update changelog
  Stop typechecking after a parse error in some file (avoid invalid cache)
  Fix warning
  Make formatFile strict
  Clean up formatting code
  Check Rzk formatting for all languages before rendering MkDocs
  Apply autoformatting to docs
  Make safer resolveLayout, use that in the formatter, drop deepseq dependency
  Convert `formatTextEdits` to IO to catch errors
  Add DeepSeq package to dependencies
  Add a couple of logs for errors while typechecking
  Split the space edits around bin ops into 2 to avoid overlapping with possible unicode edits
  Skip typechecking when the decls have not changed
  Add some tests for the formatter
  Install HSpec and configure HSpec-Discover
  Unignore the tests directory

Merge branch 'release-v0.7.2'

* release-v0.7.2: (31 commits)
  Bump version and update changelogs
  Move the blog out of versioned docs
  Replace manual string manipulation with tokens
  Update rzk/src/Rzk/Main.hs
  Throw an error when rzk.yaml `include` is empty
  Replace `setDifference` with `stripInfix`
  Add RSS feed for the blog
  Fix first post's date
  Add a page mentioning/comparing with other HoTT assistants
  Fix rzk.yaml
  Set up blog (in English version), use navigation.indexes
  Fix site_url
  Use mkdocs-material[imaging]
  Ignore .cache/
  Fix plugins (no deep merge), integrate ToC, social
  Select better fonts for English and Russian
  Update global rzk.yaml to match English docs
  Fix Rzk check for docs
  Clean up some docs and translate some to Russian
  Remove redundant emoji plugin (supported natively since MkDocs Material 9.4)
  ...

Merge branch 'release-v0.7.1'

* release-v0.7.1:
  Bump version and update changelogs
  Format recId.rzk.md
  Fix the LSP flag/CPP
  Fix rzk/ChangeLog.md
  Fix MkDocs workflow: remove --rebase for mike

Fix MkDocs workflow: remove --rebase for mike

Merge branch 'release-v0.6.7'

* release-v0.6.7:
  Bump version and update changelog
  Add cabal update to instructions
  Add links to Rzk Zulip
  fix: bnfc executable name
  refactor: naming
  refactor: rename message -> output, move const definitions
  fix: build scripts
  fix: switch to vite

Merge branch 'release-v0.6.6'

* release-v0.6.6:
  Bump version and update changelog, move changelog in docs
  Use a more specific artifact name for rzk binaries
  Run tar in bash on Windows
  Use -optP-Wno-nonportable-include-path to fix an issue on macOS
  Run GHC workflow on 3 platforms
  Do not run BNFC on Windows (rely on pre-generated files)

Merge branch 'release-v0.6.5'

* release-v0.6.5: (58 commits)
  Bump version and update changelog
  Use rzk.yaml in a GitHub workflow
  Remove stack-8.6.5.yaml
  Update recId example (fix deprecation warnings and hints)
  Use rzk.yaml if it exists
  Update docs, add CONTRIBUTORS.md
  Support snippet/code param in Rzk playground
  Override BNFC-generated printTree with a more suitable one (avoid newlines for curly braces)
  Remove unnecessary output
  Remove unnecessary stack build steps
  Use .tar.gz for rzk binaries
  Fix path to extracted rzk binary
  Remove unnecessary stack steps, try download-artifact@v1
  Fix rzk job
  Update .gitattributes
  Make rzk artifact name valid
  Remove unnecessary cache option for Setup Stack
  Add rzk checks to GHC workflow
  Improve names of workflows
  Increase upper bound for Cabal
  ...

Merge branch 'release-v0.6.4'

* release-v0.6.4:
  Bump version and update changelogs
  Use custom Stack snapshot to avoid rebuilding extra-deps
  Lower lower bounds
  Update deps and stack.yaml files
  Show log if nix-build fails
  Provide explicit lower bounds for dependencies of rzk