Hi all, is there a key stroke for copattern split? I looked up the docs and it seems not, right? Thanks, Jason Hu https://hustmphrrr.github.io/ -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.chalmers.se/pipermail/agda/attachments/20191105/5ff4b347/attachment.html>