packages feed

rzk 0.6.6 → 0.6.7

raw patch · 2 files changed

+16/−5 lines, 2 files

Files

ChangeLog.md view
@@ -6,6 +6,17 @@ and this project adheres to the [Haskell Package Versioning Policy](https://pvp.haskell.org/). +## v0.6.7 — 2023-10-07++- Fix build on some systems (fix `BNFC:bnfc` executable dependency, see [#125](https://github.com/rzk-lang/rzk/pull/125))+- Improve Rzk Playground (see [#124](https://github.com/rzk-lang/rzk/pull/124) by @deemp):+  - Add `snippet_url` parameter+  - Migrated from NextJS to Vite+  - Use `setText` on `params` attribute+- Slightly improve documentation:+  - Add links to Rzk Zulip (see [#131](https://github.com/rzk-lang/rzk/pull/131))+  - Add `cabal update` to instructions (see [`3aa8fd3`](https://github.com/rzk-lang/rzk/commit/3aa8fd38902fc8cbb29f86122410d24398a15b0b))+ ## v0.6.6 — 2023-10-02  - Fix builds on Windows (and macOS) (see [#121](https://github.com/rzk-lang/rzk/pull/121))
rzk.cabal view
@@ -5,7 +5,7 @@ -- see: https://github.com/sol/hpack  name:           rzk-version:        0.6.6+version:        0.6.7 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@@ -61,7 +61,7 @@       alex >=3.2.4     , happy >=1.19.9   build-tool-depends:-      BNFC:BNFC >=2.9.4.1+      BNFC:bnfc >=2.9.4.1   build-depends:       Glob >=0.9.3     , array >=0.5.3.0@@ -104,7 +104,7 @@       alex >=3.2.4     , happy >=1.19.9   build-tool-depends:-      BNFC:BNFC >=2.9.4.1+      BNFC:bnfc >=2.9.4.1   build-depends:       Glob >=0.9.3     , array >=0.5.3.0@@ -133,7 +133,7 @@       alex >=3.2.4     , happy >=1.19.9   build-tool-depends:-      BNFC:BNFC >=2.9.4.1+      BNFC:bnfc >=2.9.4.1   build-depends:       Glob     , QuickCheck@@ -162,7 +162,7 @@       alex >=3.2.4     , happy >=1.19.9   build-tool-depends:-      BNFC:BNFC >=2.9.4.1+      BNFC:bnfc >=2.9.4.1   build-depends:       Glob >=0.9.3     , array >=0.5.3.0