HigherOrderCO/Kind1
1
1
Fork 0
mirror of https://github.com/HigherOrderCO/Kind1.git synced 2024-11-03 23:55:59 +03:00
Code Issues Packages Projects Releases Wiki Activity
A next-gen functional language
34 Commits 10 Branches 10 Tags 56 MiB
JavaScript 93.3%
Haskell 6.6%
2817094f4e
Go to file
Victor Maia 2817094f4e Cleanups
2022-07-16 01:27:52 -03:00
bench Add Coq benchmark 2022-07-15 15:22:06 -03:00
example Cleanups 2022-07-16 01:27:52 -03:00
src Cleanups 2022-07-16 01:27:52 -03:00
.gitignore Initial commit 2022-07-12 22:47:17 -03:00
Cargo.lock Cleanups 2022-07-16 01:27:52 -03:00
Cargo.toml Avoid stuck terms by providing default cases 2022-07-16 00:52:56 -03:00
README.md Add run instruction 2022-07-13 23:57:15 -03:00

README.md

Kind2

This repository is a WIP.

Usage

  1. Install:
cargo install --path .
  1. Check a Kind2 file:
kind2 check example.kind2
  1. Check a Kind2 file:
kind2 run example.kind2