agda 1.0.2
Version of implementation Agda1/NewSyntax of programming language AgdaThe last version of Agda1/NewSyntax, released on April 23, 2008.
Progopedia alpha
Top 10 users:
All text is available under the terms of the GNU Free Documentation License
(local GFDL copy).
Example programs sources additionally available under the terms of the BSD-style license.
Privacy Policy
Example programs sources additionally available under the terms of the BSD-style license.
Privacy Policy
Comments
]]>blog comments powered by Disqus
]]>