Skip to content

v0.7.5

Latest
Compare
Choose a tag to compare
@fizruk fizruk released this 18 Aug 06:40
· 7 commits to develop since this release
25dd17a

Minor changes:

  • Suport syntax sugar for nested Σ-types (see #183) by @geffk2
  • Improve error reporting (see #176 and #179)

Fixes:

  • Support newer lsp (specifically, lsp-2.7.0.0, see #188)
  • Fix CI (see #184)
  • Fix build of nix flake on aarch64-darwin (see #181)
  • Small documentation fixes (see #178)