Entry tags:
- fp,
- fprog,
- ruwiki,
- type theory
Продолжаю труды
по расширению руВикипедии. По расширению - потому что то, что там уже есть, в половине случаев проще переписать заново, чем править. Держите, вобщем, улучшайте, исправляйте, etc:
Соответствие Карри - Говарда
Соответствие Карри - Говарда