Quoting (part 6)




The quoted language is called the Object Language.
(the word "object" has nothing to do with OOP here)



The quoting language is called the Meta Language.
(subtle suggestion: ponder what the ML stands for in Ocaml)