The arrows don&#39;t form a tree. But have a look at the docs and see. Additional layers welcome. <br><br>On Wednesday, September 14, 2011, Eli Barzilay &lt;<a href="mailto:eli@barzilay.org">eli@barzilay.org</a>&gt; wrote:<br>
&gt; A few minutes ago, Robby Findler wrote:<br>&gt;&gt; On Wednesday, September 14, 2011, Eli Barzilay &lt;<a href="mailto:eli@barzilay.org">eli@barzilay.org</a>&gt; wrote:<br>&gt;&gt; &gt; And it would be really nice if someone makes check-syntax produce<br>
&gt;&gt; &gt; gui-independent information that could be used elsewhere (like<br>&gt;&gt; &gt; binding arrows appearing in the documentation).<br>&gt;&gt;<br>&gt;&gt; Check syntax does this. I essetially had to add that as part of the<br>
&gt;&gt; online check stuff.<br>&gt;<br>&gt; Ooh, does it have some convenient interface?  Something like getting<br>&gt; the arrows as a tree of syntax objects?<br>&gt;<br>&gt; --<br>&gt;          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:<br>
&gt;                    <a href="http://barzilay.org/">http://barzilay.org/</a>                   Maze is Life!<br>&gt;