Kind: A lambda-calculus based pure programming languagegithub.com/HigherOrderCO3 pointsnico4013 years ago