diff --git a/hello_world.xsd b/hello_world.xsd new file mode 100644 index 0000000..6afaf24 --- /dev/null +++ b/hello_world.xsd @@ -0,0 +1,3 @@ +(* Hello World in CDuce *) + +print "Hello World!\n";;