Skip to content
  • vvoutilainen@1c010e3e-69d0-11dd-93a8-456734b0d56f's avatar
    1) remove copy-paste code, consolidate index and char array extraction · 4604faa7
    2) make string= use Arrays.equals
    3) implement index-version of string= in terms of string/=
    4) implement string-equal in terms of string-not-equal
    5) implement string> in terms of string<
    6) implement string>= in terms of string<=
    
    The work will continue by doing string-lessp and string-greaterp
    in terms of one of them, same for string-not-lessp and string-not-greterp
    and so on. Thanks to Alessio Stalla for explaining how the various
    indices work.
    4604faa7