List of Agda Kata to Update

Agda 2.6.2 was added, the following are not compatible:

1. A map from a truncated set to a set
2. A special set of matrices with unique representation
3. Cardinality of N and N x N
4. Coinduction Proof Principle
5. Exploring ways to evaluate and compile a trivial language
6. Factorial divisibility a.k.a. binomial coefficient
7. Finally tagless interpreter
8. Heterogeneous Equality on sized vectors
9. I~ transport lemmas so right, proving the wrong thing
10. Inductive types are initial algebras
11. Join until impossible
12. Just Be Injective
13. Kacarott's path factorization
14. Left, left! Right, right! Comp! Symmetric! Q!E!D!
15. Magic is Commutative
16. Maybe Injective
17. Modular operations on Finite data type
18. Pattern in the mirror and bisimulation for real
19. Program Verification #7: Longest Common Subsequence
20. Reach the size that lies across this new divide
21. Remember all the guardedness and termination, and let it sized
22. Simply typed lambda calculus type checker
23. String formatting, type-safely
24. Two paths in the forest
25. Typeclass is garbage
26. Uneval your Agda expression
27. Verified list maximum
28. Verified maximum subarray sum
29. W-types