From 5574fbaf794df7557fb6049e3721c4291556f3c1 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Tue, 17 Feb 2015 17:22:10 -0800
Subject: 778

---
 cpp/literate/010vm | 15 ++++++++-------
 1 file changed, 8 insertions(+), 7 deletions(-)

(limited to 'cpp/literate/010vm')

diff --git a/cpp/literate/010vm b/cpp/literate/010vm
index 090da3ff..8d427c43 100644
--- a/cpp/literate/010vm
+++ b/cpp/literate/010vm
@@ -1,4 +1,4 @@
-// A mu program is a book of recipes (functions)
+// A program is a book of 'recipes' (functions)
 
 :(after "Types")
 typedef int recipe_number;
@@ -8,7 +8,7 @@ unordered_map<recipe_number, recipe> Recipe;
 int Next_recipe_number = 1;
 
 :(before "End Types")
-// Recipes are lists of instructions. Recipes are 'run' by running their
+// Recipes are lists of instructions. To run a recipe, the computer runs its
 // instructions.
 struct recipe {
   vector<instruction> step;
@@ -21,6 +21,7 @@ const int idle = 0;  // always the first entry in the recipe book
 //   product1, product2, product3, ... <- operation ingredient1, ingredient2, ingredient3, ...
 // or just a single 'label' followed by a colon
 //   label:
+// Labels don't do anything, they're just waypoints.
 struct instruction {
   bool is_label;
   string label;  // only if is_label
@@ -32,11 +33,10 @@ struct instruction {
 };
 
 :(before "struct instruction")
-// Ingredients and products all the same kind of 'thing' -- a reagent.
-// Reagents refer either to numbers or to locations in memory along with
-// 'type' tags telling us how to interpret them. They also can contain
-// arbitrary other lists of properties besides types, but we're getting ahead
-// of ourselves.
+// Ingredients and products are a single species -- a reagent. Reagents refer
+// either to numbers or to locations in memory along with 'type' tags telling
+// us how to interpret them. They also can contain arbitrary other lists of
+// properties besides types, but we're getting ahead of ourselves.
 struct reagent {
   string name;
   vector<type_number> types;
@@ -90,6 +90,7 @@ struct type_info {
   instruction::instruction() :is_label(false), operation(idle) {}
   void instruction::clear() { is_label=false; label.clear(); operation=idle; ingredients.clear(); products.clear(); }
 
+  // Reagents have the form <name>:<type>:<type>:.../<property>/<property>/...
   reagent::reagent(string s) {
     istringstream in(s);
     name = slurp_until(in, ':');
-- 
cgit 1.4.1-2-gfad0