]]> ]]>

Agda1/NewSyntax

Реализация языка программирования Agda

Исторически вторая реализация языка Agda, выпущенная летом 2005 года.

Ссылки:


Комментарии

]]>

blog comments powered by Disqus

]]>

Работа программистам