[Agda] Comprehensive Archive of Agda Theories and other
collaboration facilities
Vag Vagoff
vag.vagoff at gmail.com
Wed Oct 28 19:07:33 CET 2009
It is useful to have a collaboration mechanism together with
Comprehensive Archive of Agda Theories that includes:
- Enumeration of all Agda theories
- Comprehensive map of Agda (1 and 2) materials
- Materials to teach novices
- Advertising board to announce plans to share parts of future theories
to reduce development efforts
- ...
It is worth to add a issue ticket for it?
More information about the Agda
mailing list