theorem-provers/gamarjoba.lean

15 lines
238 B
Plaintext
Raw Normal View History

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