]> matita.cs.unibo.it Git - helm.git/blobdiff - components/syntax_extensions/README.syntax
branch for universe
[helm.git] / components / syntax_extensions / README.syntax
diff --git a/components/syntax_extensions/README.syntax b/components/syntax_extensions/README.syntax
new file mode 100644 (file)
index 0000000..eddc7f4
--- /dev/null
@@ -0,0 +1,15 @@
+
+Helm Utf8 macro syntax extension for Camlp4
+
+Sample file:
+
+  --- test.ml ---
+
+  prerr_endline <:unicode<lambda>>
+
+  ---------------
+
+Compile it with:
+
+  ocamlfind ocamlc -package helm-utf8_macros -syntax camlp5o test.ml
+