GitHub repository: paulshestakov/lambda-arithmetics
Primary language: JavaScript
Description: Arithmetics in lambda calculus