Skip to content

Commit

Permalink
Bump version and update changelog
Browse files Browse the repository at this point in the history
  • Loading branch information
fizruk committed Aug 17, 2024
1 parent 6efd48e commit 566a6e9
Show file tree
Hide file tree
Showing 4 changed files with 19 additions and 5 deletions.
2 changes: 1 addition & 1 deletion CITATION.cff
Original file line number Diff line number Diff line change
Expand Up @@ -8,5 +8,5 @@ authors:
- family-names: Danko
given-names: Danila
title: "Rzk: a proof assistant for synthetic $\\infty$-categories"
version: 0.7.4
version: 0.7.5
url: "https://github.com/rzk-lang/rzk"
14 changes: 14 additions & 0 deletions rzk/ChangeLog.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,20 @@ The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
and this project adheres to the
[Haskell Package Versioning Policy](https://pvp.haskell.org/).

## v0.7.5 — 2024-08-18

Minor changes:

- Suport syntax sugar for nested Σ-types (see [#183](https://github.com/rzk-lang/rzk/pull/183))
- Improve error reporting (see [#176](https://github.com/rzk-lang/rzk/pull/176) and [#179](https://github.com/rzk-lang/rzk/pull/179))

Fixes:

- Support newer `lsp` (specifically, `lsp-2.7.0.0`, see [#188](https://github.com/rzk-lang/rzk/pull/188))
- Fix CI (see [#184](https://github.com/rzk-lang/rzk/pull/184))
- Fix build of nix flake on aarch64-darwin (see [#181](https://github.com/rzk-lang/rzk/pull/181))
- Small documentation fixes (see [#178](https://github.com/rzk-lang/rzk/pull/178))

## v0.7.4 — 2024-04-01

Fixes:
Expand Down
4 changes: 2 additions & 2 deletions rzk/package.yaml
Original file line number Diff line number Diff line change
@@ -1,10 +1,10 @@
name: rzk
version: 0.7.4
version: 0.7.5
github: "rzk-lang/rzk"
license: BSD3
author: "Nikolai Kudasov"
maintainer: "[email protected]"
copyright: "2023 Nikolai Kudasov"
copyright: "2023-2024 Nikolai Kudasov"

extra-source-files:
- README.md
Expand Down
4 changes: 2 additions & 2 deletions rzk/rzk.cabal
Original file line number Diff line number Diff line change
Expand Up @@ -5,15 +5,15 @@ cabal-version: 1.24
-- see: https://github.com/sol/hpack

name: rzk
version: 0.7.4
version: 0.7.5
synopsis: An experimental proof assistant for synthetic ∞-categories
description: Please see the README on GitHub at <https://github.com/rzk-lang/rzk#readme>
category: Dependent Types
homepage: https://github.com/rzk-lang/rzk#readme
bug-reports: https://github.com/rzk-lang/rzk/issues
author: Nikolai Kudasov
maintainer: [email protected]
copyright: 2023 Nikolai Kudasov
copyright: 2023-2024 Nikolai Kudasov
license: BSD3
license-file: LICENSE
build-type: Custom
Expand Down

0 comments on commit 566a6e9

Please sign in to comment.