todays-mitsui/Mogul

Mogul - An interpreter that evaluates λ-calculations step by step.