Kind: A lambda-calculus based pure programming language(github.com)3 points by nico401 2 years ago | 0 commentsNo comments yet