Link to playground in README.md

Src-commit: 4f8434c560430977f592717509ff6edb0b2d9be2
ciao-lang · Jul 5, 2022 · 56a206e · 56a206e
1 parent ea466db
commit 56a206e
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -14,8 +14,9 @@ etc.) are provided in [separate bundles](https://github.com/ciao-lang).
 
 ## Installation
 [![Build](https://github.com/ciao-lang/ciao/actions/workflows/build.yml/badge.svg)](https://github.com/ciao-lang/ciao/actions)
+[![Try](https://img.shields.io/badge/-Try%20online%20%E2%96%BA-blue)](https://ciao-lang.org/playground)
 ```
 curl https://ciao-lang.org/boot -sSfL | sh
 ```
-Please consult the [quick installation](https://ciao-lang.org/install.html)
-instructions or refer to the [INSTALLATION](core/INSTALLATION) file.
+Please consult the [**installation**](https://ciao-lang.org/install.html)
+instructions for details.