[Agda] copattern split in Emacs?

Jason -Zhong Sheng- Hu fdhzs2010 at hotmail.com
Tue Nov 5 22:14:35 CET 2019


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>


More information about the Agda mailing list