Hello, Axum!

using System;
using Microsoft.Axum;

public domain HelloWorld {
  public agent Program : channel Application {
    public Program() {
      string[] args = receive(PrimaryChannel::CommandLine);
      Console.WriteLine("Hello, World!");
      PrimaryChannel::Done <-- Signal.Value;
    }
  }
}