Есть ли интерпретатор (или компилятор) для нетипизированного лямбда-исчисления? (Согласно этой теме...