[Agda] reporting bugs?
Patrik Jansson
patrikj at chalmers.se
Wed Feb 18 18:37:24 CET 2009
Pierre Hyvernat skrev:
> ...
>
>> This bug has also been reported before (twice), see
>> http://code.google.com/p/agda/issues/detail?id=120.
>>
> So, what's the official way to report a bug?
> My main source of info is the wiki which doesn't say anything about
> that.
> Is the google project page the right way to do that?
>
>
> Pierre
The agda wiki (http://wiki.portal.chalmers.se/agda/)
fifth link on the left is a direct link named "Report a bug" pointing to
http://code.google.com/p/agda/issues/list
/Patrik
More information about the Agda
mailing list