The Agda standard library.

WWW: https://agda.github.io/agda-stdlib/