HigherOrderCO/Kind
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind.git synced 2024-07-07 10:06:36 +03:00
Code Issues Packages Projects Releases Wiki Activity
A next-gen functional language
95 Commits 3 Branches 0 Tags 57 MiB
Rust 100%
357cc111a6
Go to file
Derenash 357cc111a6 Fix typing in BBT.has.linear.kind2
2024-03-14 16:31:30 -03:00
book Fix typing in BBT.has.linear.kind2 2024-03-14 16:31:30 -03:00
docs typo 2024-02-25 20:53:25 -03:00
formal fix equalSimilar not following described algo 2024-03-14 10:31:04 -03:00
src prevent recursive holes (check condition 3) 2024-03-14 12:10:05 -03:00
.gitignore fix equalSimilar not following described algo 2024-03-14 10:31:04 -03:00
Cargo.lock list/nat syntax sugars, reorganizations 2024-03-09 17:59:39 -03:00
Cargo.toml list/nat syntax sugars, reorganizations 2024-03-09 17:59:39 -03:00
kind2.ts Working Rust CLI! Pretty errors. Many improvements 2024-02-24 20:50:01 -03:00
package.json giving up on bootstrapping due to parser perf 2024-02-23 14:28:04 -03:00
README.md add usage notes 2024-02-08 20:04:56 -03:00

README.md

Kind2 WIP

Kind1 has been developed in JavaScript, which wasn't meant to be a long-term solution, but allowed us to explore self-types. Recently, we started developing Kind2 for HVM1, but it has been discontinued when we started working on HVM2. In this repository, we'll remake and continue Kind2's development, now targetting HVM2. Kind2 will be fully implemented in itself. Temporarily, we're using TypeScript+HVM1 to aid on the bootstrapping process.

Usage

  1. Install NPM.

  2. Install HVM1.

  3. Install Kind2: npm i -g (from this directory)

  4. Enter book/ and run with kind2 [check|run] term_name.