]> matita.cs.unibo.it Git - helm.git/blob - components/syntax_extensions/README.syntax
unified: some theorems on Lift started
[helm.git] / 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 camlp4o test.ml
15