[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.


More information about the Agda mailing list