[Agda] New blog post: Elaborating dependent (co)pattern matching

[Jesper Cockx]

Hey Agda folks,

I wrote a new blog post about our paper "Elaborating dependent (co)pattern
matching" which I will present at ICFP this week:

https://jesper.sikanda.be/posts/elaborating-dependent-copattern-matching.html


Any questions and comments are welcome here on the Agda list!

-- Jesper