Bump version and update changelog

CITATION.cff

@@ -4,5 +4,5 @@ authors:
   given-names: Nikolai
   orcid: "https://orcid.org/0000-0001-6572-7292"
 title: "rzk: a prototype proof assistant for synthetic $\\infty$-categories"
-version: 0.1.0.0
+version: 0.5
 url: "https://github.com/fizruk/rzk"

rzk/ChangeLog.md

@@ -6,6 +6,14 @@ 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.5 — 2022-06-20
+
+This version contains the following changes:
+
+- `Unit` type (with `unit` value) (see [ede02611]( https://github.com/fizruk/rzk/commit/ede02611 ) and [bf9d6cd9]( https://github.com/fizruk/rzk/commit/bf9d6cd9 );
+- Add basic tokenizer support via `rzk tokenize` (see [#53]( https://github.com/fizruk/rzk/pull/53 ));
+- Add location information for shadowing warnings and duplicate definition errors (see [bf9d6cd9]( https://github.com/fizruk/rzk/commit/bf9d6cd9 )).
+
 ## v0.4.1 — 2022-06-16
 
 This is version contains minor changes, primarily in tools around rzk:

rzk/package.yaml

@@ -1,5 +1,5 @@
 name:                rzk
-version:             0.4.1.1
+version:             0.5
 github:              "fizruk/rzk"
 license:             BSD3
 author:              "Nikolai Kudasov"

rzk/rzk.cabal

@@ -5,7 +5,7 @@ cabal-version: 1.12
 -- see: https://github.com/sol/hpack
 
 name:           rzk
-version:        0.4.1.1
+version:        0.5
 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

rzk/rzk.nix

@@ -3,7 +3,7 @@
 }:
 mkDerivation {
   pname = "rzk";
-  version = "0.4.1.1";
+  version = "0.5";
   src = ./.;
   isLibrary = true;
   isExecutable = true;