Kind

A modern proof language.

Website | Source

Install:

npm i -g kind-lang

git clone https://github.com/uwu-tech/Kind

cd Kind/base

kind Main

kind Main --run

Website built in Kind; seems to be pretty slow for what's being displayed.

Tags: language   functional  

Last modified 12 February 2022