Kind: A lambda-calculus based pure programming language | Dark Hacker News