RosettaCodeData/Task/Reverse-a-string/Ela/reverse-a-string-1.ela

reverse_string str = rev len str
  where len = length str
        rev 0 str = ""
        rev n str = toString (str : nn) +> rev nn str
          where nn = n - 1

reverse_string "Hello"