fixed example

fogus · Jul 27, 2010 · 10d65f9 · 10d65f9
1 parent 47fee53
commit 10d65f9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/doc/site/src/index.page b/doc/site/src/index.page
@@ -8,7 +8,7 @@ title: Trammel - a quick example
      <div class="gist-file">
         <div class="gist-data gist-syntax">
            <div class="gist-highlight">
-<pre><div class="line" id="LC1"><span class="p">(</span><span class="nf">use</span> <span class="p">[</span><span class="nv">fogus</span><span class="o">.</span><span class="nv">me</span><span class="o">.</span><span class="nv">trammel</span> <span class="nv">:only</span> <span class="p">[</span><span class="nv">apply-contracts</span><span class="p">]])</span></div><div class="line" id="LC2"><br/></div><div class="line" id="LC3"><span class="p">(</span><span class="k">defn </span><span class="nv">sqr</span> <span class="p">[</span><span class="nv">n</span><span class="p">]</span></div><div class="line" id="LC4">&nbsp;&nbsp;<span class="p">(</span><span class="nb">* </span><span class="nv">n</span> <span class="nv">n</span><span class="p">))</span></div><div class="line" id="LC5"><br/></div><div class="line" id="LC6"><span class="p">(</span><span class="nf">apply-contracts</span></div><div class="line" id="LC7">&nbsp;<span class="p">[</span><span class="nv">sqr</span> <span class="p">[</span><span class="nv">n</span><span class="p">]</span> <span class="nv">:requires</span> <span class="nv">number?</span> <span class="p">(</span><span class="nb">not= </span><span class="mi">0</span> <span class="nv">n</span><span class="p">)</span></div><div class="line" id="LC8">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="nv">:ensures</span> <span class="nv">pos?</span> <span class="nv">number?</span><span class="p">])</span></div></pre>
+<pre><div class="line" id="LC1"><span class="p">(</span><span class="nf">use</span> <span class="p">'[</span><span class="nv">fogus</span><span class="o">.</span><span class="nv">me</span><span class="o">.</span><span class="nv">trammel</span> <span class="nv">:only</span> <span class="p">[</span><span class="nv">apply-contracts</span><span class="p">]])</span></div><div class="line" id="LC2"><br/></div><div class="line" id="LC3"><span class="p">(</span><span class="k">defn </span><span class="nv">sqr</span> <span class="p">[</span><span class="nv">n</span><span class="p">]</span></div><div class="line" id="LC4">&nbsp;&nbsp;<span class="p">(</span><span class="nb">* </span><span class="nv">n</span> <span class="nv">n</span><span class="p">))</span></div><div class="line" id="LC5"><br/></div><div class="line" id="LC6"><span class="p">(</span><span class="nf">apply-contracts</span></div><div class="line" id="LC7">&nbsp;<span class="p">[</span><span class="nv">sqr</span> <span class="p">[</span><span class="nv">n</span><span class="p">]</span> <span class="nv">:requires</span> <span class="nv">number?</span> <span class="p">(</span><span class="nb">not= </span><span class="mi">0</span> <span class="nv">n</span><span class="p">)</span></div><div class="line" id="LC8">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;<span class="nv">:ensures</span> <span class="nv">pos?</span> <span class="nv">number?</span><span class="p">])</span></div></pre>
            </div>
        </div>
      </div>