[Agda] wiki empty?

Martin Escardo m.escardo at cs.bham.ac.uk
Thu Oct 2 17:34:45 CEST 2014


I am trying to get a project student to read and learn about Agda, but 
most of the wiki went empty (including the main page and the 
documentation page). Does anybody know what is going on?

Thanks,
Martin


More information about the Agda mailing list