Hello World

Create a file called hello.mi:

use system.io

println("Hello, World!")

Compile and run:

./target/release/miri run hello.mi

Miri uses indentation for blocks — no braces, no semicolons. The main function is the entry point of every program. If the file doesn't contain a main function, the code will be wrapped in a main function automatically.