mirror of
https://github.com/HigherOrderCO/Kind.git
synced 2024-10-05 19:27:30 +03:00
Merge branch 'master' of github.com:HigherOrderCO/kind2
This commit is contained in:
commit
de14d56d3d
@ -4,7 +4,7 @@ Kind2 is a general-purpose programming language made from scratch to harness
|
||||
[HVM](https://github.com/HigherOrderCO/HVM)'s **massive parallelism** and
|
||||
computational advantages (no garbage collection, optimal β-reduction). Its type
|
||||
system is a minimal core based on the Calculus of Constructions, making it
|
||||
inherently secure. In short, Kind2 aims to be:
|
||||
inherently secure. Essentially, Kind2 aims to be:
|
||||
|
||||
- As *friendly* as **Python**
|
||||
|
||||
@ -18,6 +18,8 @@ inherently secure. In short, Kind2 aims to be:
|
||||
|
||||
And it seeks to accomplish that goal by relying on the solid foundations of [Interaction Combinators](https://www.semanticscholar.org/paper/Interaction-Combinators-Lafont/6cfe09aa6e5da6ce98077b7a048cb1badd78cc76).
|
||||
|
||||
> NOTE: THIS REPOSITORY IS A WIP. OFFICIAL RELEASE COMING SOON!
|
||||
|
||||
## Usage
|
||||
|
||||
1. Install [Rust](https://www.rust-lang.org/) and (optionally) [Haskell](https://www.haskell.org/) in your system.
|
||||
|
Loading…
Reference in New Issue
Block a user