[ Agda standard library ] Pulling from GitHub.