From 5e13be733cf05a612ef5fbbddefef5cc87fa833a Mon Sep 17 00:00:00 2001
From: Yan Mendes <53550620+kings177@users.noreply.github.com>
Date: Wed, 15 May 2024 16:57:01 -0300
Subject: [PATCH] WIP update

---
 README.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 5c27a7b5..ace3f3fa 100644
--- a/README.md
+++ b/README.md
@@ -1,5 +1,7 @@
 # Kind2: a parallel proof & programming language
 
+> NOTE: THIS REPOSITORY IS A WIP. OFFICIAL RELEASE COMING SOON!
+
 Kind2 is a general-purpose programming language made from scratch to harness
 [HVM](https://github.com/HigherOrderCO/HVM)'s **massive parallelism** and
 computational advantages (no garbage collection, optimal β-reduction). Its type
@@ -18,7 +20,7 @@ inherently secure. Essentially, Kind2 aims to be:
 
 And it seeks to accomplish that goal by relying on the solid foundations of [Interaction Combinators](https://www.semanticscholar.org/paper/Interaction-Combinators-Lafont/6cfe09aa6e5da6ce98077b7a048cb1badd78cc76).
 
-> NOTE: THIS REPOSITORY IS A WIP. OFFICIAL RELEASE COMING SOON!
+
 
 ## Usage