[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