|Page 298 of 800||Search internet|
Proclamations are harvested thus:
The harvester checks that the proclamation is one of the known ones and has correct arity:
apply 2 lambda 2 true 0 if 3 quote 1 proclaim 2 define 3 introduce 3 hide any
The harvester also checks that the proclaimed construct comes from the page on which the proclamation occurs. If these checks are positive, the proclamation enters the new codex. The proclaim, define, introduce, and hide constructs concern the definition aspect and the other ones concern the value aspect.
|Page 298 of 800||Search logiweb.eu|