If you are a registered Idris Community user, log onto the SPR form via Idris Community to submit any technical queries, feature requests or fault reports.
If you aren't registered as an ITP but would like to submit a query, please email info@idris-technology.com.