[www
tom@zwizwa.be**20080923122754] hunk ./www/index.html 14
-  Scheme</a>. The core of the system is a programmable code generator
-  structured around a functional
+  Scheme</a>.  At its core is a functional
hunk ./www/index.html 16
-  concatenative </a> meta language that combines partial evaluation
-  and manual staging, targeting a 2-stack machine model. On top of
-  this it includes a syntax frontend for
-  creating <a href="http://en.wikipedia.org/wiki/Forth_%28programming_language%29">
-  Forth</a> style languages, a backend code generator for the
+  concatenative</a> language Coma extended with quasiquotation-based
+  Scheme to Coma template programming.
+
+ <p> Staapl uses a simple 2-stack virtual machine model to abstract
+  low-end microcontroller architectures.  Primitives for the Coma
+  language are stack machine code transformers, implemented in Scheme
+  using a pattern matching mechanism.  The use of partial evaluation
+  rules in the definition of primitives allows the elimination of
+  unnecessary run-time computation and interpretation, and forms the
+  foundation of the metaprogramming system.
+
+<p> On top of these two mechanisms Staapl includes a 
+  <a href="http://en.wikipedia.org/wiki/Forth_%28programming_language%29">
+  Forth</a> syntax frontend that hides the Scheme metaprogramming
+  system, a backend code generator for the
hunk ./www/index.html 32
-  microcontroller architecture, and interaction tools for a productive
-  edit-compile-run cycle.
+  microcontroller architecture, and live interaction tools and a
+  Forth-style console for debugging and testing.
hunk ./www/index.html 40
-<li> Combination of staging and partial evaluation in a simple
+<li> Combination of quasiquotation and partial evaluation in a simple
hunk ./www/index.html 42
-<li> Hygienic macros in a declarative module system as a tool for
-  language tower construction.
+<li> Scheme's scoping mechanisms (lexical closures and hygienic macros
+  in a declarative module system).
hunk ./www/index.html 69
+Documentation is loosely split into two parts: one that documents the
+whole system from a Scheme p.o.v. and one that exposes only the
+low-level Forth language view.
+