Kindelia/Kind2
1
1
Fork 0
mirror of https://github.com/Kindelia/Kind2.git synced 2024-10-05 20:07:27 +03:00
Code Issues Projects Releases Wiki Activity

Updated Home (markdown)

Sofia Rodrigues 2023-04-08 15:59:02 -03:00
parent c1653cb30c
commit f1bec8bbd5
1 changed files with 7 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
Home.md

@ -1 +1,7 @@
Oops nothing to see here.
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.