@@ -287,16 +287,22 @@
   <li>整数:     <tt>0</tt>, <tt>123</tt>, <tt>456666666666666666666666666666666666666789</tt>, ...</li>
   <li>文字列:   <tt>"hello, world!"</tt>, ...</li>
   <li>関数:     <tt>fun(x){x+1}</tt></li>
   <li>テーブル: <tt>{car: 1, cdr: {car: 2, cdr: {}}}</tt></li>
-  <li>未定義値: (テーブルの、存在しないフィールドにアクセスしたりすると作れます)</li>
+  <li>未定義値: (undefined。特殊なケースで作られます)</li>
 </ul>
 <p>
 関数はいわゆる「クロージャ」です。静的スコープで外側の環境にアクセスできます。
 テーブルはいわゆるプロトタイプチェーンを持っていて、
 自分にないフィールドの場合は親に問い合わせが行く感じになっていますが、
 フィールドの書き換えがないので、これは特に意味ないかもしれない…。
 </p>
+<p>
+また、リストを扱うために、いわゆる「cons リスト」を使います。
+空リストを <tt>{}</tt>、１個以上要素があるものを <tt>{car: 先頭要素, cdr: 二番目以降のリスト}</tt>
+という形で。この形でリストを扱わなければならないという決まりはありませんが、
+この形は特別扱いされて <tt>print</tt> で綺麗に出力されたりします。
+</p>
 </dd>
 
 <script>explorer.outline.writeEnabled = true;</script>
 <dt><span class="decl">
@@ -611,8 +617,26 @@
    Here, x is a syntax tree but n is an actual integer. If you read carefully,
    you should get what is going on. Basically, @macro can be considered like
    quasiquoting and @value to be an escape from it.
 </pre>
+<p>
+構文木がどのようなテーブルで渡されてくるかについては、ソースドキュメントの
+<a href="http://www.kmonos.net/repos/polemy/doc/tip/doc/ast.html">polemy.ast</a>
+のページをご覧下さい。例えば変数名を表す <code>Var</code> クラスには、
+継承の分も合わせて
+<tt><a href="http://www.kmonos.net/repos/polemy/doc/tip/doc/failure.html">LexPosition</a> pos;</tt>
+と <tt>string name;</tt> の２つのメンバがあるので
+</p>
+<pre>
+    { is:   "Var",
+      pos:  {filename:"foo.pmy", lineno:123, column:45},
+      name: "x" }
+</pre>
+<p>
+こんな感じのテーブルになります。
+クラス名が <tt>is</tt> フィールドに、メンバ変数はそのままの名前で入ります。
+配列メンバは cons リストになって入ってきます。
+</p>
 </dd>
 
 <script>explorer.outline.writeEnabled = true;</script>
 <dt><span class="decl">
@@ -779,9 +803,9 @@
 </td></tr>
 		<tr><td id="docfooter">
 			Page was generated with
 			<img src="candydoc/img/candydoc.gif" style="vertical-align:middle; position:relative; top:-1px">
-			on Wed Nov 24 19:09:31 2010
+			on Wed Nov 24 20:33:08 2010
 
 		</td></tr>
 	</table>
 </div>