An interpreter that evaluates λ-calculations step by step. - todays-mitsui/Mogul