[Agda] `abstract' on Web keywords

Nils Anders Danielsson nad at cse.gu.se
Tue May 14 11:22:32 CEST 2013


On 2013-05-14 10:32, Sergei Meshveliani wrote:
> But clicking at `abstract'  displays several sections on modules where I
> do not find the word `abstract'.
> Am I missing something?

I don't think there is much documentation of abstract in the
(incomplete) reference manual.

-- 
/NAD


More information about the Agda mailing list