[Agda] guidelines for reporting internal errors

[Nils Anders Danielsson]

On 2017-08-19 16:41, Martin Stone Davis wrote:
> I spent considerable time reducing the program [...]

It would be nice with a tool that did some of this work for us. There is
a tool like that for Coq:

   https://people.csail.mit.edu/jgross/personal-website/papers/2015-coq-bug-minimizer.pdf
   https://github.com/JasonGross/coq-tools#coq-bug-minimizer

-- 
/NAD