You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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.