Wrote a list of tactics for Agda:
gist.github.com/wenkokke/9f608

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! 😄

Sign in to participate in the conversation
Computer Fairies

Computer Fairies is a Mastodon instance that aims to be as queer, friendly and furry as possible. We welcome all kinds of computer fairies!