Продолжаю труды

[deniok]

по расширению руВикипедии. По расширению - потому что то, что там уже есть, в половине случаев проще переписать заново, чем править. Держите, вобщем, улучшайте, исправляйте, etc:

Соответствие Карри - Говарда

Comments

[nivanych.livejournal.com]

Я уже как-то не воспринимаю это ;-)
Вроде как, чОтко и правильно сформулированный язык, это и должна быть некоторая логика...
И специально обозначать это нужно только затем, чтобы стимулировать чОткую проработку языков...