Agda Tips

1. Agda Beginner(-ish) Tips, Tricks, and Pitfalls - September 20, 2018
2. More Agda Tips - March 14, 2019