Lambda-calculus-interpreter My semestral work for BI-PPA at FIT CTU. License Licensed under the MIT License.