Kind
A modern proof language
Install / Use
/learn @HigherOrderCO/KindREADME
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
-
Clone and install this project
-
Use the
kindcommand to check/run terms
We will write a proper README later (:
