Bump version and update changelog

rzk-lang · May 18, 2023 · 5b1f8ac · 5b1f8ac
1 parent 6f1713a
commit 5b1f8ac
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 2 deletions.
diff --git a/rzk/ChangeLog.md b/rzk/ChangeLog.md
@@ -6,6 +6,17 @@ 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.4.0 — 2022-05-18
+
+This version introduces sections and variables. The feature is similar to <a href="https://coq.inria.fr/refman/language/core/assumptions.html#coq:cmd.Variable" target="_blank">`Variable` command in Coq</a>. An important difference, however, is that `rzk` does not allow definitions to use variables implicitly and adds `uses (...)` annotations to ensure such dependencies are not accidental.
+
+- Variables and sections (Coq-style) (see [#38]( https://github.com/fizruk/rzk/pull/38 ));
+
+Minor improvements:
+
+- Add flake, set up nix and cabal builds, cache nix store on CI (see [#39]( https://github.com/fizruk/rzk/pull/39 ));
+- Apply stylish-haskell (see [7d42ef62]( https://github.com/fizruk/rzk/commit/7d42ef62 ));
+
 ## v0.3.0 — 2022-04-28
 
 This version introduces an experimental feature for generating visualisations for simplicial terms in SVG.

diff --git a/rzk/package.yaml b/rzk/package.yaml
@@ -1,5 +1,5 @@
 name:                rzk
-version:             0.3.0
+version:             0.4.0
 github:              "fizruk/rzk"
 license:             BSD3
 author:              "Nikolai Kudasov"

diff --git a/rzk/rzk.cabal b/rzk/rzk.cabal
@@ -7,7 +7,7 @@ cabal-version: 1.12
 -- hash: 7855530fcdfd2a28c4ea3654677ed2d18f83d419f5d1c173f4bb44a915464c06
 
 name:           rzk
-version:        0.3.0
+version:        0.4.0
 synopsis:       An experimental proof assistant for synthetic ∞-categories
 description:    Please see the README on GitHub at <https://github.com/fizruk/rzk#readme>
 category:       Dependent Types