@@ -123,6 +123,7 @@ split = Native.String.split
123123
124124{-| Put many strings together with a given separator.
125125
126+ join "a" ["H","w","ii","n"] == "Hawaiian"
126127 join " " ["cat","dog","cow"] == "cat dog cow"
127128 join "/" ["home","evan","Desktop"] == "home/evan/Desktop"
128129-}
@@ -204,7 +205,7 @@ trim = Native.String.trim
204205trimLeft : String -> String
205206trimLeft = Native.String.trimLeft
206207
207−{-| Get rid of whitespace on the left of a string.
208+{-| Get rid of whitespace on the right of a string.
208209
209210 trimRight " hats \n" == " hats"
210211-}