[Agda] The standard library has moved to github

Nicolas Pouillard np at nicolaspouillard.fr
Fri Jan 17 13:51:44 CET 2014


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


More information about the Agda mailing list