[Agda] wiki empty?

Andreas Abel andreas.abel at ifi.lmu.de
Thu Oct 2 19:45:23 CEST 2014


Sorry, I have no clue what is going on on the wiki, but I will start 
investigating...

On 02.10.2014 17:34, Martin Escardo wrote:
> 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
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda


-- 
Andreas Abel  <><      Du bist der geliebte Mensch.

Department of Computer Science and Engineering
Chalmers and Gothenburg University, Sweden

andreas.abel at gu.se
http://www2.tcs.ifi.lmu.de/~abel/


More information about the Agda mailing list