equal
deleted
inserted
replaced
|
1 ML |
|
2 val parse_ast_translation = ("¤", fn asts => Appl (Constant "LAM " :: asts)) :: |
|
3 parse_ast_translation; |
|
4 val print_ast_translation = ("LAM ", fn asts => Appl (Constant "¤" :: asts)) :: |
|
5 print_ast_translation; |