Agda standard library version 1.7.1

Agda standard library version 1.7

Agda standard library version 1.6

Agda standard library version 1.5

Agda standard library version 1.4

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