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

[deniok]

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

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

Comments

[miserakl.livejournal.com]

Выкинуть легко, а какой учебник посоветуете по матлогике, опирающийся на Агду?

[deni-ok.livejournal.com]

Learn you an Agda and Achieve Enlightenment.
Только его ещё никто не написал.

[miserakl.livejournal.com]

Но курсы по нему уже читают? Это хорошо — прогрессивно и постмодернично.