@alexo/lambdaMacro Lambda Calculuslambda-calculuspureuntypedinteraction-netsinteraction-calculusoptimal-reductionabstract-algorithmclosed-reductionlambdascopeapi0.5.2 • Published 6 years ago