On 2016-10-04 13:49, Sergei Meshveliani wrote: > I fail to link to "Report a bug", so I report here. https://github.com/agda/agda/issues -- /NAD