Improved Koka lexing with named operators
Improved Koka lexing with named operators

sol/pygments,zmughal/pygments-mirror,zmughal/pygments-mirror,zmughal/pygments-mirror,sol/pygments,sol/pygments,sol/pygments,zmughal/pygments-mirror,zmughal/pygments-mirror,zmughal/pygments-mirror,zmughal/pygments-mirror,sol/pygments,sol/pygments,sol/pygments,zmughal/pygments-mirror,sol/pygments,zmughal/pygments-mirror,sol/pygments,zmughal/pygments-mirror,zmughal/pygments-mirror,sol/pygments,zmughal/pygments-mirror,sol/pygments,zmughal/pygments-mirror,sol/pygments,sol/pygments,zmughal/pygments-mirror,zmughal/pygments-mirror,zmughal/pygments-mirror,zmughal/pygments-mirror,zmughal/pygments-mirror,sol/pygments,zmughal/pygments-mirror