If you are having problems with Agda or have any suggestions, please contact us – we're here to help.
