From 16751e56c493baff649992079eec8f4f6807164e Mon Sep 17 00:00:00 2001 From: Nikolai Kudasov Date: Sun, 8 Oct 2023 17:57:02 +0300 Subject: [PATCH] Add more badges --- README.md | 17 +++++++++++++---- 1 file changed, 13 insertions(+), 4 deletions(-) diff --git a/README.md b/README.md index 40623508a..41a2f0ec8 100644 --- a/README.md +++ b/README.md @@ -1,12 +1,21 @@ -# rzk +# Rzk proof assistant -[![MkDocs](https://shields.io/badge/MkDocs-documentation-informational)](https://rzk-lang.github.io/rzk/) -[![Haddock](https://shields.io/badge/Haddock-documentation-informational)](https://rzk-lang.github.io/rzk/haddock/index.html) -[![GHCJS build](https://github.com/rzk-lang/rzk/actions/workflows/ghcjs.yml/badge.svg?branch=main)](https://github.com/rzk-lang/rzk/actions/workflows/ghcjs.yml) +[![Release](https://img.shields.io/github/v/release/rzk-lang/rzk.svg)](https://github.com/rzk-lang/rzk/releases/latest) +[![`rzk` on Hackage](https://img.shields.io/hackage/v/rzk)](http://hackage.haskell.org/package/rzk) +[![`rzk` on Stackage Nightly](https://stackage.org/package/rzk/badge/nightly)](http://stackage.org/package/rzk) +[![`rzk` on Stackage LTS](https://stackage.org/package/rzk/badge/lts)](http://stackage.org/package/rzk) + +[![Rzk documentation](https://shields.io/badge/MkDocs-Rzk%20documentation-informational)](https://rzk-lang.github.io/rzk/) +[![Rzk Playground]()](https://rzk-lang.github.io/rzk/latest/playground/) [![Rzk Zulip chat](https://img.shields.io/badge/zulip-join_chat-brightgreen.svg)](https://rzk-lang.zulipchat.com) +[![Haddock]()](https://rzk-lang.github.io/rzk/haddock/index.html) +[![Rzk Playground]()](https://rzk-lang.github.io/rzk/develop/playground/) + An experimental proof assistant for synthetic ∞-categories. + + [![Early prototype demo.](images/split-demo-render.png)](https://rzk-lang.github.io/rzk/) ## About this project