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

1. Clone and install this project

2. Use the kind command to check/run terms

---

We will write a proper README later (:

This site is open source. Improve this page.