Documention for the Agda standard library

---

Development versions

• master
• experimental

Released versions

• v2.4
• v2.3
• v2.2
• v2.1.1
• v2.1
• v2.0
• v1.7.3
• v1.7.2
• v1.7.1
• v1.7
• v1.6
• v1.5
• v1.4
• v1.3
• v1.2
• v1.1
• v1.0
• v0.17
• v0.16