Echo Writes Code

hello.orchid

1
2
3
procedure! main : IO<None> {
  console.write_line("Hello, Orchid!");
}