From 40ef889ae530dfc7904d7d0361b60e36bb457350 Mon Sep 17 00:00:00 2001 From: Yan Mendes <53550620+kings177@users.noreply.github.com> Date: Sun, 10 Sep 2023 17:45:55 -0300 Subject: [PATCH] Fixed old links --- README.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/README.md b/README.md index 73336999..1f706fdc 100644 --- a/README.md +++ b/README.md @@ -20,12 +20,12 @@ # Getting started -It is a complete rewrite of [Kind1](https://github.com/kindelia/kind-legacy), based on -[HVM](https://github.com/kindelia/hvm), a **lazy**, **non-garbage-collected** and **massively parallel** virtual -machine. In [our benchmarks](https://github.com/kindelia/functional-benchmarks), its type-checker outperforms every +It is a complete rewrite of [Kind1](https://github.com/HigherOrderCO/Kind-Legacy), based on +[HVM](https://github.com/HigherOrderCO/HVM), 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. Kind2 unleashes the [inherent parallelism of the Lambda -Calculus](https://github.com/VictorTaelin/Symmetric-Interaction-Calculus) to become the ultimate programming language of +Calculus](https://github.com/VictorTaelin/Interaction-Calculus) to become the ultimate programming language of the next century.
Welcome to the inevitable parallel, functional future of computers!
@@ -79,9 +79,9 @@ hvm compile file.hvm --- -- If you need support related to Kind, email [support.kind@kindelia.org](mailto:support.kind@kindelia.org) +- If you need support related to Kind, email [support.kind@kindelia.org](mailto:support.kind@higherorderco.com) -- For Feedbacks, email [kind@kindelia.org](mailto:kind@kindelia.org) +- For Feedbacks, email [kind@higherorderco.com](mailto:kind@higherorderco.com) - To ask questions and join our community, check our [Discord Server](https://discord.gg/kindelia).