[Agda] Agda documentation

[Ulf Norell]

In case you're not following the github repository closely, you might not
know about the documentation project that is slowly taking shape at
http://agda.readthedocs.org. I just added a section on with-abstraction
that might be of interest to people:

http://agda.readthedocs.org/en/latest/language/with-abstraction.html

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20151105/d3b196cf/attachment.html