[Agda] `abstract' on Web keywords

Sergei Meshveliani mechvel at botik.ru
Tue May 14 10:32:41 CEST 2013


People,
I try to find the manual on `abstract' in the Web reference manual on


http://wiki.portal.chalmers.se/agda/pmwiki.php?n=ReferenceManual.Keywords

Clicking at `data' shows the docs on `data'.

But clicking at `abstract'  displays several sections on modules where I
do not find the word `abstract'.
Am I missing something?

Thanks,

------
Sergei



More information about the Agda mailing list