Toy programming language

Redirect to:

From an alternative name: This is a redirect from a title that is another name or identity such as an alter ego, a nickname, or a synonym of the target, or of a name associated with the target.
- This redirect leads to the title in accordance with the naming conventions for common names to aid searches and writing. It is not necessary to replace these redirected links with a piped link.
- If this redirect is an incorrect name for the target, then {{R from incorrect name}} should be used instead.

With history: This is a redirect from a page containing substantive page history. This page is kept as a redirect to preserve its former content and attributions. Please do not remove the tag that generates this text (unless the need to recreate content on this page has been demonstrated), nor delete this page.
- This template should not be used for redirects having some edit history but no meaningful content in their previous versions, nor for redirects created as a result of a page merge (use {{R from merge}} instead), nor for redirects from a title that forms a historic part of Wikipedia (use {{R with old history}} instead).