Дошли руки до лямбда-куба
Jan. 5th, 2013 02:51 amПоправил в ru-Википедии своё же описание понятия зависимости одного от другого, долгое время меня раздражавшее. Поправил на более аккуратное, основанное на PTS-подходе. Что-то больно формально вышло, но проще уже слишком много профанации. Держите, вобщем.