[Agda] `syntax'

Nils Anders Danielsson nad at chalmers.se
Mon Oct 15 13:06:33 CEST 2012

Previous message: [Agda] `syntax'
Next message: [Agda] `syntax'
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On 2012-10-15 12:16, Serge D. Mechveliani wrote:
> what is the `syntax' declaration?

See "Mixfix binders" in

   http://code.haskell.org/Agda/doc/release-notes/2-2-8.txt.

-- 
/NAD

Previous message: [Agda] `syntax'
Next message: [Agda] `syntax'
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Agda mailing list