summaryrefslogtreecommitdiff
path: root/tests/filter.urp
Commit message (Expand)AuthorAge
* SQL SIMILAR (via pg_trgm)Gravatar Adam Chlipala2019-12-04
* Fix type class resolution infinite loop, discovered while meeting with EzraGravatar Adam Chlipala2009-08-06