[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