1  -- examples/lean/Hello.lean
2  -- Simple Lean 4 test to verify toolchain.
3  
4  def main : IO Unit :=
5    IO.println "straylight lean toolchain operational"