New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Release v0.7.5 #189

Merged

fizruk merged 1 commit into develop from release-v0.7.5

Aug 18, 2024

Member

fizruk commented Aug 17, 2024

Minor changes:

Suport syntax sugar for nested Σ-types (see #183)
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)


          Bump version and update changelog

566a6e9

fizruk force-pushed the release-v0.7.5 branch from 12c94dc to 566a6e9 Compare

August 17, 2024 23:08

fizruk merged commit 0d3070e into develop

6 checks passed

fizruk deleted the release-v0.7.5 branch

August 18, 2024 06:35

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet