[Agda-dev] Using git sub-modules for keeping track of the standard library

[Andrés Sicard-Ramírez]

Hi,

Víctor López Juan wrote a set of commits for using git sub-modules for
keeping track of the standard library. Thanks Víctor!

I just pushed Víctor's commits on master and maint, so it is necessary
run the following commands after pulling the branch(es):

  $ rm -r -f std-lib
  $ make up-to-date-std-lib

Note also that there is a new rule in the Makefile: fast-forward-std-lib

See the section 'Standard library submodule' in

  https://raw.githubusercontent.com/agda/agda/master/HACKING

for more information.

Best,

-- 
Andrés