Contents

Require Import Coq.Strings.String.

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

Version data entries

10 entries across 7 versions & 1 rubygems

Version	Path
zettacode-0.1.7	files.zettacode/hello_world.text/coq.txt
zettacode-0.1.6	files.zettacode/hello_world.text/coq.txt
zettacode-0.1.6	files.zettacode2/hello_world.text/coq.txt
zettacode-0.1.5	files.zettacode/hello_world.text/coq.txt
zettacode-0.1.5	files.zettacode2/hello_world.text/coq.txt
zettacode-0.1.4	files.zettacode/hello_world.text/coq.txt
zettacode-0.1.4	files.zettacode2/hello_world.text/coq.txt
zettacode-0.1.3	files.zettacode/hello_world.text/coq.txt
zettacode-0.1.2	files.zettacode/hello_world.text/coq.txt
zettacode-0.1.1	zettacode.files/hello_world.text/coq.txt