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.
Clone and install this project
Use the kind command to check/run terms
We will write a proper README later (: