Hacker News new | ask | show | jobs
Kind: A lambda-calculus based pure programming language (github.com)
3 points by nico401 930 days ago