[Agda] Re: Coloring of mixfix identifiers

Nils Anders Danielsson nad at chalmers.se
Mon Feb 13 19:22:03 CET 2012


On 2012-02-08 17:55, Stefan Monnier wrote:
> The main problem would be how to make SMIE understand the layout rules
> and how to figure out which mixfix are in scope.

IMO the main problem would be having to support two different
implementations of the operator parser.

-- 
/NAD


More information about the Agda mailing list