]> matita.cs.unibo.it Git - helm.git/blob - matita/components/syntax_extensions/README.syntax
Proved old axiom.
[helm.git] / matita / components / syntax_extensions / README.syntax
1
2 Helm Utf8 macro syntax extension for Camlp4
3
4 Sample file:
5
6   --- test.ml ---
7
8   prerr_endline <:unicode<lambda>>
9
10   ---------------
11
12 Compile it with:
13
14   ocamlfind ocamlc -package helm-utf8_macros -syntax camlp5o test.ml
15