Show HN: An Interactive Tutorial/REPL for the Lambda Calculus

lambda-explorer.net