+# Strings\r
+\r
+Strings are essentially lists of (Unicode) characters and therefore many functions that operate\r
+on lists can also be used with strings:\r
+\r
+::value[Prelude/+, Prelude/sum, Prelude/length, Prelude/take, Prelude/drop, Prelude/sub]\r
+\r
+Strings have currently their own function for accessing indivial characters\r
+(but in the future they may also support `!` operator). \r
+\r
+::value[Prelude/charAt]\r
+\r
+The following operations are often useful for \r