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

[deniok]

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

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

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

Comments

[dmytro starosud (from livejournal.com)]

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

[voidex.livejournal.com]

Спасибо!

[4da.livejournal.com]

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

[dmytro starosud (from livejournal.com)]

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

[raydac.livejournal.com]

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

[nponeccop.livejournal.com]

well done!

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

[deni-ok.livejournal.com]

> well done!

Я только там не очень разобрался как красят синтаксические конструкции и установил source lang="haskell", что, скажем прямо, является вопиющим паллиативом.

[nivanych.livejournal.com]

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

[yantayga.livejournal.com]

Спасибо!