From 3942b8276ee38c440c47161380cd8f83ae6ced8a Mon Sep 17 00:00:00 2001 From: Nikolai Kudasov Date: Mon, 2 Oct 2023 02:44:02 +0300 Subject: [PATCH] Bump version and update changelog, move changelog in docs --- CITATION.cff | 2 +- docs/docs/{getting-started/changelog.md => CHANGELOG.md} | 4 ++++ docs/docs/index.md | 2 +- docs/mkdocs.yml | 2 +- rzk/ChangeLog.md | 4 ++++ rzk/package.yaml | 2 +- rzk/rzk.cabal | 2 +- 7 files changed, 13 insertions(+), 5 deletions(-) rename docs/docs/{getting-started/changelog.md => CHANGELOG.md} (99%) diff --git a/CITATION.cff b/CITATION.cff index 7dd423d6c..3518f0999 100644 --- a/CITATION.cff +++ b/CITATION.cff @@ -4,5 +4,5 @@ authors: given-names: Nikolai orcid: "https://orcid.org/0000-0001-6572-7292" title: "Rzk: a proof assistant for synthetic $\\infty$-categories" -version: 0.6.5 +version: 0.6.6 url: "https://github.com/rzk-lang/rzk" diff --git a/docs/docs/getting-started/changelog.md b/docs/docs/CHANGELOG.md similarity index 99% rename from docs/docs/getting-started/changelog.md rename to docs/docs/CHANGELOG.md index 4bbfc6fe2..39a65be92 100644 --- a/docs/docs/getting-started/changelog.md +++ b/docs/docs/CHANGELOG.md @@ -6,6 +6,10 @@ 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.6.6 — 2023-10-02 + +- Fix builds on Windows (and macOS) (see [#121](https://github.com/rzk-lang/rzk/pull/121)) + ## v0.6.5 — 2023-10-01 This version contains mostly intrastructure improvements: diff --git a/docs/docs/index.md b/docs/docs/index.md index 17f0a8ed6..a6a8b1340 100644 --- a/docs/docs/index.md +++ b/docs/docs/index.md @@ -14,4 +14,4 @@ Using such representation is motivated by automatic handling of binders and easi An important part of `rzk` is a tope layer solver, which is essentially a theorem prover for a part of the type theory. A related project, dedicated just to that part is available at . `simple-topes` supports used-defined cubes, topes, and tope layer axioms. Once stable, `simple-topes` will be merged into `rzk`, expanding the proof assistant to the type theory with shapes, allowing formalisations for (variants of) cubical, globular, and other geometric versions of HoTT. -See the list of contributors at [docs/docs/CONTRIBUTORS.md](docs/docs/CONTRIBUTORS.md). +See the list of contributors at [CONTRIBUTORS.md](CONTRIBUTORS.md). diff --git a/docs/mkdocs.yml b/docs/mkdocs.yml index 815cb6c59..0860dfe4a 100644 --- a/docs/mkdocs.yml +++ b/docs/mkdocs.yml @@ -7,11 +7,11 @@ nav: - General: - About: index.md - Contributors: CONTRIBUTORS.md + - Changelog: CHANGELOG.md - Getting Started: - Install: getting-started/install.md - Quickstart: getting-started/quickstart.rzk.md - Publishing with MkDocs: getting-started/publishing-with-mkdocs.md - - Changelog: getting-started/changelog.md - Reference: - Introduction: reference/introduction.rzk.md - Cube layer: reference/cube-layer.rzk.md diff --git a/rzk/ChangeLog.md b/rzk/ChangeLog.md index 4bbfc6fe2..39a65be92 100644 --- a/rzk/ChangeLog.md +++ b/rzk/ChangeLog.md @@ -6,6 +6,10 @@ 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.6.6 — 2023-10-02 + +- Fix builds on Windows (and macOS) (see [#121](https://github.com/rzk-lang/rzk/pull/121)) + ## v0.6.5 — 2023-10-01 This version contains mostly intrastructure improvements: diff --git a/rzk/package.yaml b/rzk/package.yaml index d0b4e4a7e..a76e7f9f2 100644 --- a/rzk/package.yaml +++ b/rzk/package.yaml @@ -1,5 +1,5 @@ name: rzk -version: 0.6.5 +version: 0.6.6 github: 'rzk-lang/rzk' license: BSD3 author: 'Nikolai Kudasov' diff --git a/rzk/rzk.cabal b/rzk/rzk.cabal index bf2784caa..7a39c812c 100644 --- a/rzk/rzk.cabal +++ b/rzk/rzk.cabal @@ -5,7 +5,7 @@ cabal-version: 1.24 -- see: https://github.com/sol/hpack name: rzk -version: 0.6.5 +version: 0.6.6 synopsis: An experimental proof assistant for synthetic ∞-categories description: Please see the README on GitHub at category: Dependent Types