Post History
Lean, 64 bytes def hello_world:io unit:=put_str"Hello, World!"#eval hello_world Try it online!
Answer
#1: Initial revision
by
Kevin M. Mansour
·
2021-07-28T23:43:10Z (over 3 years ago)
# Lean, 64 bytes ```lean def hello_world:io unit:=put_str"Hello, World!"#eval hello_world ``` [Try it online!](https://tio.run/##y0lNzPufmVuQX1SiUFxZXJKaq5eZz5VfkJqnkJmv8D8lNU0hIzUnJz@@PL8oJ8UKKFaal1liZVtQWhJfXFKk5AGS1FEIB8kqKimnliXmIGv4/x8A)