language: en

Form(ers) Over Function(s): The KOLA Reference Manual

Mitch Cherniack
June 18, 1996

0.1 Still To Do * 6 more fold proofs, precondition proofs * Adjust primitives for Int, Str and Char to be synchronized with the Theta operators for these types * Add floats * Add section describing preconditions * Add section on semantic optimizations, nested query optimization * Fix awk script to generate Latex version of Larch scripts without typeface glitches

1 Introduction