RosettaCodeData/Task/Reverse-a-string/Agda/reverse-a-string.agda

module ReverseString where

open import Data.String using (String ; fromList ; toList)
open import Data.List using (reverse)

reverse-string : String → String
reverse-string s = fromList (reverse (toList s))