<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
<p>How much does it help the Agda developers to have a small test
case when given a report about an internal error? A lot or a
little?<br>
</p>
<p>I recently submitted an <a moz-do-not-send="true"
href="https://github.com/agda/agda/issues/2709">issue</a>
reporting an internal error and linked to a fairly complex
300-line program. I spent considerable time reducing the program
even that far and could have gone further, but I found myself
running out of steam, unsure if my efforts were worth it. My
question here is not about that issue specifically but in general
aimed towards answering how I should go about reporting an
internal error.<br>
</p>
</body>
</html>