2022-05-30 17:35:28 -07:00
|
|
|
import system.io
|
|
|
|
|
|
|
|
|
|
open io
|
|
|
|
|
|
2022-05-30 19:03:42 -07:00
|
|
|
#check (++)
|
2022-05-30 17:40:22 -07:00
|
|
|
def greet (s : string) : io unit :=
|
|
|
|
|
put_str $ "Hello, " ++ s ++ "!\n"
|
|
|
|
|
|
|
|
|
|
def main: io unit := do
|
|
|
|
|
put_str "Gamarjoba, munde!\n",
|
|
|
|
|
put_str "Onamae wa? ",
|
|
|
|
|
name <- get_line,
|
|
|
|
|
greet name
|
|
|
|
|
|
