helloworld_in_cduce

thatlittlegit-archive · Oct 29, 2017 · 03a10cd · 03a10cd
1 parent 37b49bf
commit 03a10cd
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/hello_world.xsd b/hello_world.xsd
@@ -0,0 +1,3 @@
+(* Hello World in CDuce *)
+
+print "Hello World!\n";;