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.