Kind: A lambda-calculus based pure programming language #1 Post by nico401 » Mon, Nov 27, 2023, 4:22 PM UTC Kind: A lambda-calculus based pure programming languagegithub.com