7.17.9 Proclamations

Prev Up Next 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.

Prev Up Next Page 298 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05