Reporting bugs

Before filing a bug report

There are two steps to follow before filing your finding:

  1. Use the latest build.
  2. Check if the bug is already listed in Sourceforge Bug Tracking  System.

However, please don't hesitate to send your bug report. Ask about your problem at agda mailing list if you are in doubt.

How to send your bug report to the database

The submit page guides you. If you have an account on, login before sending it. Please write not only the bug but also your environment such as version numbers of Agda and GNU emacs.

Bugs in webpages (e.g. dead links, typo)

Please send your report to "agda-web(at)".


Mailing list