Agda standard library version 1.3

Agda standard library version 1.2

Agda standard library version 1.1

Agda standard library version 1.0.1

Reversed left and right congruency definitions

Agda standard library version 0.17

Agda standard library version 0.16.1

Agda standard library version 0.16

Agda standard library version 0.15

Agda standard library 0.14