Agda standard library version 0.15

Agda standard library 0.14

Agda standard library compatible with Agda 2.5.3 release candidate 1

Agda standard library version 0.13

Agda standard library compatible with Agda 2.5.2 release candidate 1

Agda standard library v0.12

Agda standard library compatible with Agda 2.5.1 release candidate 2

Standard library compatible with Agda 2.5.1 release candidate 1

Agda standard library v0.11

Agda standard library v0.10