Lambda Calculus in a Can using Arduino

Lambda Calculus in a Can using Arduino

You can get soup in a can. You can get bread in a can (*). Now the long wait is over! You can finally get Lambda Calculus in a can. Project LambdaCan is an amusing exercise in absurdity. It implements a reducer (interpreter) for the Lambda Calculus, a formal system (programming language) developed by Alonzo […]

Lambda Calculus in a Can using Arduino Continue Reading