G github.com Kind: A lambda-calculus based pure programming language 3 points nico401 2 years ago 0 comments