From 2b277492007a843c5285ff9c3b916dd670b972e3 Mon Sep 17 00:00:00 2001 From: Yan Mendes <53550620+kings177@users.noreply.github.com> Date: Thu, 16 May 2024 23:22:48 -0300 Subject: [PATCH] added disclaimer --- README.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 46e6934d4..d48ec2151 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,7 @@ +> DISCLAIMER: KIND IS GETTING A REFACTOR BASED ON HVM2 [HERE](https://github.com/HigherOrderCO/kind). +> +> THIS REPO WILL BECOME THE NEW REFACTOR IN THE FUTURE. +
![banner] @@ -21,7 +25,7 @@ # Getting started It is a complete rewrite of [Kind-legacy](https://github.com/HigherOrderCO/Kind-Legacy), based on -[HVM](https://github.com/HigherOrderCO/HVM), a **lazy**, **non-garbage-collected** and **massively parallel** virtual +[HVM](https://github.com/HigherOrderCO/HVM1), a **lazy**, **non-garbage-collected** and **massively parallel** virtual machine. In [our benchmarks](https://github.com/HigherOrderCO/Functional-Benchmarks), its type-checker outperforms every alternative proof assistant by a far margin, and its programs can offer exponential speedups over Haskell's GHC. Kind1 unleashes the [inherent parallelism of the Lambda