разработка Лямбда-конструктора
разработка Лямбда-конструктора прекращена,
последняя версия здесь http://code.google.com/p/visual-lambda/
позволяет манипулировать выражениями бестипового лямбда-исчисления в графической форме.
примеры:
MULT 3 2 → ..
( (λgm.m(gg)) (λgm.m(gg)) ) M → ..
Y I → ..
