[Agda] New version

[Catarina Coquand]

Hello,


there is a new version of Agda checked in, as before is it still an 
experimental version
with hidden args.  Since it corrected a bug from before, big parts of 
the hidden Hedberg
library doesn't work, I have corrected many files but there are more to go.


I know some bug that are left, for example pretty printing, but please
continue reporting on strange things. Nothing has been done  for classes.



Regards

      Catarina