Update changelog link

rzk-lang · Apr 28, 2023 · 4a71bf2 · 4a71bf2
1 parent f6db51d
commit 4a71bf2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/docs/docs/rzk-1/introduction.md b/docs/docs/rzk-1/introduction.md
@@ -3,7 +3,7 @@
 !!! warning "Work-in-progress"
     The documentation is not yet up-to-date with all
     the changes introduced in `rzk-0.2.0`. <br>
-    See [`rzk` changelog](https://github.com/fizruk/rzk/blob/release-v0.2.0/rzk/ChangeLog.md#v020---2022-04-20) for more details.
+    See [`rzk` changelog](https://github.com/fizruk/rzk/blob/release-v0.3.0/rzk/ChangeLog.md#v020---2022-04-20) for more details.
 
 `rzk` is an experimental proof assistant for synthetic ∞-categories.
 `rzk-1` is an early version of the language supported by `rzk`.