wen

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

Let me know if I’ve forgotten anything!

· · 1 · 0 · 0
wen

@TaliaRinger@twitter.com was inspired to finally write these down after you brought up tactics in Agda the other day! 😄

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

Resources

Developers

What is Mastodon?

computerfairi.es

More…