[racket] object-language in redex/tutorial.html
On 07/29/2014 10:56 PM, Matthias Felleisen wrote:
>
> This reference is to the 'object of study' not some Java dialect.
>
> Redex is a language for studying languages. The latter are called the object of interest. The Redex language -- in this context -- is a meta-language. Those are terms borrowed from philosophy/logic.
I initially understood it that way. Apparently this was just a typo in
the version of the tutorial on this machine. I just noticed that the
current web page fixes the exercise to use a term from the defined
language "L".
--
Anthony Carrico