[racket] object-language in redex/tutorial.html

From: Anthony Carrico (acarrico at memebeam.org)
Date: Wed Jul 30 00:19:02 EDT 2014

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


Posted on the users mailing list.