10 lines
155 B
Agda
10 lines
155 B
Agda
module Data.String
|
|
|
|
import Prelude
|
|
|
|
unwords : List String → String
|
|
unwords stuff = joinBy " " stuff
|
|
|
|
instance Cast String Int where
|
|
cast = stringToInt
|