Reverse a string: Difference between revisions
→{{header|Agda}}
m (→{{header|Lua}}: use recommended examples) |
|||
Line 272:
=={{header|Agda}}==
Using the Agda standard library, version
<syntaxhighlight lang="
module ReverseString where
open import Data.String using (String ; fromList ; toList)
open import Data.List using (reverse)
</syntaxhighlight>
=={{header|Aime}}==
|