milaurila
Results
2
comments of
milaurila
Thanks for the actual color codes, that makes things easier! I couldn't get your function to work but found that I can do `:Inspect` on words to get their groups....
I was running Agda 2.6.3. Now 2.6.4 and the problem persists.