Update demo image in README

rzk-lang · Apr 28, 2023 · 4bc4350 · 4bc4350
1 parent 958e77a
commit 4bc4350
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -6,7 +6,7 @@
 
 An experimental proof assistant for synthetic ∞-categories.
 
-[![Early prototype demo.](images/split-demo.png)](https://fizruk.github.io/rzk/)
+[![Early prototype demo.](images/split-demo-render.png)](https://fizruk.github.io/rzk/)
 
 ## About this project
 

diff --git a/images/split-demo-render.png b/images/split-demo-render.png