[Agda] Examples

[Nils Anders Danielsson]

On Sun, May 18, 2008 at 6:08 PM, Samuel Bronson <naesten at gmail.com> wrote:
>
> Explanation of what the example is doing and why would also be
> welcome. Could be as little as a reference to a paper or as much as
> one of Oleg's .lhs files. Pointers to other examples showing
> alternative approaches would also be welcome.

If you are looking for well-documented examples, then the various
tutorials and papers linked to from the Agda wiki are probably a
better bet:

  http://appserv.cs.chalmers.se/users/ulfn/wiki/agda.php?n=Main.Documentation

And if you want an explanation of a specific example, just ask on the
mailing list.

-- 
/NAD