From f1bec8bbd56ea8406ae4938a0f998a22d20fcc34 Mon Sep 17 00:00:00 2001 From: Sofia Rodrigues Date: Sat, 8 Apr 2023 15:59:02 -0300 Subject: [PATCH] Updated Home (markdown) --- Home.md | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/Home.md b/Home.md index a247231..e2586f5 100644 --- a/Home.md +++ b/Home.md @@ -1 +1,7 @@ -Oops nothing to see here. \ No newline at end of file +Welcome to the **Kind** language Wiki. This first page is a guide for a lot of things related to the language itself, the official compiler and the community. + +This documentation is designed for experienced developers and people that already know the basics of dependent types and compilers. If you want a beginner-friendly guide, go to **this** guide instead. + +## What is Kind? + +**Kind** is a [dependently-typed](https://en.wikipedia.org/wiki/Dependent_type) [purely functional](https://en.wikipedia.org/wiki/Purely_functional_programming) programming language designed to run on top of [HVM](https://github.com/HigherOrderCO/HVM) (A super fast interaction net runtime) and to be friendly with the HVM rules and run as fast as it can, it forces the language to not have some features like type classes because of we want speeeeed. \ No newline at end of file