GitHub repository: qpt/Lambda-Calculus-Interpreter
Primary language: C++
Created: 2018-11-11T17:40:07Z
Description: Parses pure lambda calculus expressions and reduces them to B-NF (if exists)