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

[deniok]

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

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

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

Comments

[4da.livejournal.com]

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

[dmytro starosud (from livejournal.com)]

А ничего и не надо. Агда - Тьюринг-полный язык.
(Конечно тут нужны некоторые пояснения, но это детали, а в статье действительно деталей мало но и статья маленькая - дополняйте)