Предался общественным работам

[deniok]

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

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

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

Comments

[dmytro starosud (from livejournal.com)]

Круто! Большое спасибо!

[voidex.livejournal.com]

Спасибо!

[4da.livejournal.com]

про тьюринг-неполноту ничего нету

[raydac.livejournal.com]

лучшая реклама языка это когда стоит ссылка на крутой софт который был написан на нем и без этого языка софт бы не случился

[nponeccop.livejournal.com]

well done!

Я вот думаю статьи раздела "типизация" привести в порядок. Интересно, удастся ли избежать войны правок.

[nivanych.livejournal.com]

Классно! Молодец!

[yantayga.livejournal.com]

Спасибо!