kind-lang (npm): Kind-Lang in JavaScript
Keywords: dependent-types|formality|functional-programming|lambda-calculus|moonad|proof-language|proof-languages|theorem-prover|type-theory