Open sedram opened 4 years ago
For example, @thimoteus pointed out in Slack that a search for <$> works fine, but a search for (<$>) gives none of the desired results.
They should probably yield the same results. (@hdgarrood asked that this be reported.)
For example, @thimoteus pointed out in Slack that a search for <$> works fine, but a search for (<$>) gives none of the desired results.
They should probably yield the same results. (@hdgarrood asked that this be reported.)