]]> ]]>

agda 1.0.2

Версия реализации Agda1/NewSyntax языка программирования Agda

Последняя версия Agda1/NewSyntax, выпущенная 23 апреля 2008 года.

Ссылки:


Комментарии

]]>

blog comments powered by Disqus

]]>

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