Zulip Chat Archive
Stream: Is there code for X?
Topic: Length of common prefix of two strings?
Kim Morrison (Mar 18 2024 at 02:17):
Do we have a function computing the length of the longest common prefix of two strings?
Mario Carneiro (Mar 18 2024 at 02:17):
It sounds like something that you could extract from the KMP matcher
Mario Carneiro (Mar 18 2024 at 02:18):
actually that's overkill
Kim Morrison (Mar 18 2024 at 02:18):
Ahha, String.firstDiffPos, in Lean!
Last updated: May 02 2025 at 03:31 UTC