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

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

на почве русской Википедии. Вот плод:

http://ru.wikipedia.org/wiki/Agda

Улучшайте при желании, не ухудшайте без особой нужды.