Agda standard library version 1.7

Made `Data.Container(.Any/.FreeMonad)` safe by splitting out fixed po…

…ints (agda#1513)

Co-authored-by: Guillaume ALLAIS <[email protected]>

Update documentation

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