From 56a206ef8eb780a9e0b6efb1a357523efc62836a Mon Sep 17 00:00:00 2001
From: "Jose F. Morales" <jfmcjf@gmail.com>
Date: Tue, 5 Jul 2022 18:05:03 +0200
Subject: [PATCH] Link to playground in README.md

Src-commit: 4f8434c560430977f592717509ff6edb0b2d9be2
---
 README.md | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/README.md b/README.md
index 89b0c75ee..122e1deb6 100644
--- 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.