Contributed to the Idris2 repository by enhancing the Data.String library’s string manipulation capabilities. Focused on functional programming and library development, the work introduced a right-trim (rtrim) function, enabling precise removal of trailing whitespace from strings. The trim function was reimplemented to leverage both ltrim and rtrim, unifying logic for improved consistency and potential performance gains. These changes completed the string utility suite, making string handling more robust and user-friendly for downstream code. All development was carried out in Idris, emphasizing correctness and maintainability. The work addressed a core need for comprehensive string utilities within the Idris2 codebase.