[Agda] Re: The standard library has moved to github

Stevan Andjelkovic stevan.andjelkovic at strath.ac.uk
Sun Jan 19 19:32:07 CET 2014


On Sun, Jan 19, 2014 at 01:05:23PM -0500, Jason Gross wrote:
> You can hack around this by making a script that does "while 1; do
> sleep 2m; done" and spawn it in the background and kill it when you're
> done.  The HoTT/HoTT library does this, because we have some files
> that take around 15 minutes to typecheck.  You still have a hard cap
> of 60 minutes, though.

Darcs getting the Agda repo shouldn't take more than a couple of
seconds, so when it takes over 10 mins (as it did when I tried)
something must be wrong, I figure.

I can see this trick being useful in situations further down the road
though, thanks.


More information about the Agda mailing list