Skip to content
Andras Kornai edited this page Jun 9, 2020 · 2 revisions

Welcome to the 4lang wiki!

Let x be a word that appears on 600 but not in 400. Let us suppose z is defined using x. To define z using 400 we need to take the 600 definition of x and substitute it in the definition of z.