[Agda] Examples

[Nils Anders Danielsson]

On Sat, May 17, 2008 at 9:09 PM, Lennart Augustsson
<lennart at augustsson.net> wrote:
>
> I suggest that those examples are either fixed or removed.  Having
> wrong examples can be confusing for a beginner.

Thanks for spotting this. I moved away the outdated examples; the rest
are hooked up to the test suite.

Perhaps one should also take a closer look at the remaining examples.
Just because they type check does not mean that they are idiomatic or
elegant.

-- 
/NAD