[Agda] Agda documentation
Wouter Swierstra
w.s.swierstra at uu.nl
Thu Nov 5 13:33:02 CET 2015
>
> 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:
>
Thanks for doing this Ulf (and others)! The documentation has been lagging
behind Agda's implementation for a while now. Having more structured
documentation going beyond the release notes is super valuable.
Wouter
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20151105/781dbc93/attachment.html
More information about the Agda
mailing list