[Agda] `syntax'

Serge D. Mechveliani mechvel at botik.ru
Mon Oct 15 12:16:00 CEST 2012

what is the `syntax' declaration?
(in Agda-
I see it in  Data.Product.agda.
In the  Agda reference manual  this keyword is highlighted in red.
Clicking at it does not showing the doc on `syntax', instead it asks
for "The password for editing normal pages is agda". 


More information about the Agda mailing list