[Ur] SQL `LIKE` operator?

Adam Chlipala adamc at csail.mit.edu
Sat Aug 15 08:10:45 EDT 2015


On 08/15/2015 02:08 AM, Stefan Scott Alexander wrote:
> Reading Section 9.1.2 "Queries" on pages 47-48 of the Ur/Web manual, 
> it appears that the SQL `LIKE` (wildcard) operator has not been 
> implemented.

That was just an oversight in the manual.  'LIKE' is already implemented.



More information about the Ur mailing list