Quoting Ulf Norell (2014-01-17 10:46:06) > As a first step in our migration to git we have moved the standard library > to github: > > https://github.com/agda/agda-stdlib Kudos! -- NP