Idiom #377 Case-insensitive string equality

Set the boolean ok to true if the string s is the same as the string t, ignoring case considerations, or to false otherwise.

Two strings are considered equal ignoring case if they are of the same length and corresponding characters in the two strings are equal ignoring case.