Giters

tpreviero / lambda-calculus-evaluator

A suite to evaluate and operate on λ-calculus expressions

Repository from Github https://github.comtpreviero/lambda-calculus-evaluatorRepository from Github https://github.comtpreviero/lambda-calculus-evaluator

lambdalambda-calculuslambda-calculus-evaluatorevaluatorlambda-termslambda-expressionkotlin

lambda-calculus-evaluator

A suite to evaluate and operate on λ-calculus expressions.

About

A suite to evaluate and operate on λ-calculus expressions

lambdalambda-calculuslambda-calculus-evaluatorevaluatorlambda-termslambda-expressionkotlin

Languages

Language:Kotlin 100.0%