Kind: A lambda-calculus based pure programming languagegithub.com3 points·nico401··0 commentsOpen articleSaveView on HN