<div dir="ltr"><div dir="ltr"><div>Hey Agda folks,</div><div><br></div><div>I wrote a new blog post about our paper "Elaborating dependent (co)pattern matching" which I will present at ICFP this week: <br></div><div><br></div><div><a href="https://jesper.sikanda.be/posts/elaborating-dependent-copattern-matching.html">https://jesper.sikanda.be/posts/elaborating-dependent-copattern-matching.html</a> </div><div><br></div><div>Any questions and comments are welcome here on the Agda list!</div><div><br></div><div>-- Jesper<br></div></div></div>