Documention for the Agda standard library

---

Development versions

• master
• experimental

Released versions

• v1.5
• v1.4
• v1.3
• v1.2
• v1.1
• v1.0
• v0.17
• v0.16