[Agda] Agda2 beginner's question

[kahl at cas.mcmaster.ca]

 > 
 > > 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


Thank you!


Afterthought: Can agda-mode help me to fill in ``.({! !})'' automatically?


Wolfram