Wrote a list of tactics for Agda:
https://gist.github.com/wenkokke/9f608fdebe0ee335deeff4d5b01b7f69
Let me know if I’ve forgotten anything!
@TaliaRinger@twitter.com was inspired to finally write these down after you brought up tactics in Agda the other day! 😄
