[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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20180923/7619e1d5/attachment.html>