[Agda] Re: Problem when getting the Standard Library

awson kyrab at mail.ru
Mon Jan 31 12:07:31 CET 2011


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.



More information about the Agda mailing list