The last version of Agda1/NewSyntax, released on April 23, 2008.
View the discussion thread.
blog comments powered by Disqus
Comments
]]>blog comments powered by Disqus
]]>