[Agda] Re: Problem when getting the Standard Library

[awson]

On 1/29/2011 2:46 PM, Nils Anders Danielsson wrote:

> Should be fixed now.
>

Same for http://www.cse.chalmers.se/~nad/repos/Agda and 
http://www.cse.chalmers.se/~nad/repos/equality.