[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