RosettaCodeData/Task/Hello-world-Text/Rocq/hello-world-text.rocq

Require Import Coq.Strings.String.

Eval compute in ("Hello world!"%string).