How to learn agda
When I started learning Agda about a year ago I think I tried all available tutorials and each taught me something new. You should probably give Coq a try, because it has a larger user base and there are two nice books available for it: Coq’Art – slightly dated, but beginner friendly Certified Programming with … Read more