Kind: A lambda-calculus based pure programming languagehttps://github.com/HigherOrderCO/Kind by nico401 • 3 years ago 3 0 3 years agoGIgithub.com