Clone of agda standard library http://www.cse.chalmers.se/~nad/repos/lib/ using https://github.com/purcell/darcs-to-git