GitHub repository: sweirich/lennart-lambda
Primary language: HTML
Description: λλλλ Lennart Augustsson's λ-calculus cooked four ways