[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