Visual environment for manipulation the lambda calculus expressions
Primary LanguagePythonGNU Lesser General Public License v3.0LGPL-3.0