Remix.run Logo
viraptor a day ago

I'm confused by the example in readme:

   Example: LIKE '%abc%def'
   ...
   Step 2: Match first part as prefix
   
   -- "abc" must start at position 0
   Candidates = pos[a@0] ∩ pos[b@1] ∩ pos[c@2]
Is this a mistake, or is there some position magic that makes the position == 0, even after an arbitrary prefix?
Crystallinecore a day ago | parent [-]

Hi! Thanks for pointing that out. The Readme has now been updated, and the example has been fixed.