pico-lambda λ I was really bored so I decided to try writing a lambda calculus interpeter. It currently just parses the lambda calculus and has a cool REPL. demo
