Hello World

module tutorial.hello;

axiom A : Type;