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! 😄
Computer Fairies is a Mastodon instance that aims to be as queer, friendly and furry as possible. We welcome all kinds of computer fairies!
@TaliaRinger@twitter.com was inspired to finally write these down after you brought up tactics in Agda the other day! 😄