26 сентября 2011 · КомментарийБез заголовкаИмя не сохранено · Оригинал в ЖЖ ↗ · Ссылка на записьКстати, да, я забыл, что в лямбда-исчислении данные-то с помощью алгоритмов задаются :) А крокодил интересный, надо будет поигаться, а то я лямбда-исчисление плохо разумею :).