[Agda] Documentation of the (not only) latest features

[Nils Anders Danielsson]

On 2011-07-24 17:00, Wojciech Jedynak wrote:
> Current version:
> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.Records
>
> Updated draft: http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ForkedReferenceManual.Records

Feel free to replace the original page with your fork; the reference
manual needs all the love it can get, and the history function is there
if we need to revert something.

> Using this approach it should be relatively painless to write some
> examples of std-lib usage as literate agda and then generate nice wiki
> pages from them.

The standard library comes with a README directory which is supposed to
contain such modules. Contributions are welcome (see the README for
instructions).

-- 
/NAD