]> matita.cs.unibo.it Git - helm.git/blob - helm/software/components/syntax_extensions/README.syntax
- Procedural: we now reconstruct "let H := v in t" with "intros (1) H" when the goal...
[helm.git] / helm / software / 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