Page Numbers: Yes First Page: 1
Heading:

[IVY]<krl>document>intro

Intro-duction

Purpose of document

Form of document

General picture of the development

move towards explicitiness

move towards language uniformity with multiple implementation

tradeoff triangle

use fix-float analogy

Compacting and compiling

Bootstrapping ideas