Kind

Kind is a minimal Proof Checker.

This repository is a full rewrite of Kind from the old JS implementation to Haskell. It is being actively developed. See examples on KindBook.

Usage

We will write a proper README later (:

Name		Name	Last commit message	Last commit date
Latest commit History 279 Commits
app		app
src		src
.gitignore		.gitignore
CHANGELOG.md		CHANGELOG.md
LICENSE		LICENSE
README.md		README.md
cabal.project		cabal.project
kind-lang.cabal		kind-lang.cabal
main.kindc		main.kindc