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
kindcommand to check/run terms
We will write a proper README later (: