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.