8 lines
210 B
Agda
8 lines
210 B
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))
|