Agda1/NewSyntax
Implementation of programming language AgdaSecond implementation of Agda language, available since summer 2005.
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
]]>