[Agda] Agda2 beginner's question

[Ulf Norell]

On Mon, Nov 30, 2009 at 3:40 AM, <kahl at cas.mcmaster.ca> wrote:

>
> Does writing ``.(e)'' for some expression e ever make a difference over
> writing ``._'' (except for documentation, of course)?
>

No, except for documentation, of course :-)

 / Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20091130/c138c86c/attachment-0001.html