1 files changed, 14 insertions, 14 deletions
diff --git a/docs/index.html b/docs/index.html
index 0f63a7a..97747f0 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -19,11 +19,11 @@
     <div class="example">
       <div class="left">
         <pre class="code">
-<span class="def">pow</span> <span class="term">[<span class="symbol">index</span> (<span class="symbol">iterate</span> (<span class="symbol">mul</span> 0) <span class="ternary">(+1)</span>)]</span>
+<span class="def">pow</span> <span class="term">[<span class="symbol" data-std="List_Church.bruijn.html#index">index</span> (<span class="symbol" data-std="List_Church.bruijn.html#iterate">iterate</span> (<span class="symbol" data-std="Number_Ternary.bruijn.html#mul">mul</span> 0) <span class="ternary">(+1)</span>)]</span>
 
-<span class="def">…**…</span> <span class="symbol">pow</span>
+<span class="def">…**…</span> <span class="symbol" data-std="Math.bruijn.html#pow">pow</span>
 
-<span class="com">:test</span> <span class="test">(<span class="term"><span class="ternary">(+2)</span> <span class="mixfix">**</span> <span class="ternary">(+3)</span> <span class="mixfix">=?</span> <span class="ternary">(+8)</span></span>)</span> <span class="test">(<span class="symbol">true</span>)</span></pre>
+<span class="com">:test</span> <span class="test">(<span class="term"><span class="ternary">(+2)</span> <span class="mixfix" data-std="Math.bruijn.html#pow">**</span> <span class="ternary">(+3)</span> <span class="mixfix" data-std="Number_Ternary.bruijn.html#eq?">=?</span> <span class="ternary">(+8)</span></span>)</span> <span class="test">(<span class="symbol" data-std="Logic_Binary.bruijn.html#true">true</span>)</span></pre>
       </div>
 
       <div class="right">
@@ -51,13 +51,13 @@
 <span class="term">[[[[2 (2 (1 3))]]]]</span>
 <span class="repl">></span> <span class="char">'a'</span>
 <span class="term">[[[1 (0 (0 (0 (0 (1 (1 (0 2)))))))]]]</span>
-<span class="repl">></span> <span class="symbol">add</span>
+<span class="repl">></span> <span class="symbol" data-std="Number_Ternary.bruijn.html#add">add</span>
 <span class="term">[[(([([[1 0 [[0]]]] ((((0 [[(((0...</span></pre>
       </div>
 
       <div class="left">
         <pre class="code">
-<span class="repl">></span> <span class="com">:time</span> <span class="symbol">factorial</span> <span class="ternary">(+42)</span>
+<span class="repl">></span> <span class="com">:time</span> <span class="symbol" data-std="Math.bruijn.html#fac">factorial</span> <span class="ternary">(+42)</span>
 <span class="time">0.01 seconds</span></pre>
       </div>
       <div class="right">
@@ -75,10 +75,10 @@
       </div>
       <div class="right">
         <pre class="code">
-<span class="repl">></span> <span class="mixfix">∏</span> <span class="ternary">(+1)</span> <span class="mixfix">→</span> <span class="ternary">(+3)</span> <span class="mixfix">|</span> <span class="symbol">++‣</span>
-<span class="repl">></span> <span class="symbol">number!</span> <span class="mixfix"><$></span> <span class="left-app">(</span><span class="symbol">lines</span> <span class="string">"42\n25"</span><span class="right-app">)</span>
-<span class="repl">></span> <span class="term"><span class="symbol">sum</span> (<span class="symbol">take</span> <span class="ternary">(+3)</span> (<span class="symbol">repeat</span> <span class="ternary">(+4)</span>))</span>
-<span class="repl">></span> <span class="binary">(+10b)</span> <span class="mixfix">⋀!</span> <span class="binary">(+12b)</span></pre>
+<span class="repl">></span> <span class="mixfix" data-std="Math.bruijn.html#∏…→…|…">∏</span> <span class="ternary">(+1)</span> <span class="mixfix" data-std="Math.bruijn.html#∏…→…|…">→</span> <span class="ternary">(+3)</span> <span class="mixfix" data-std="Math.bruijn.html#∏…→…|…">|</span> <span class="symbol" data-std="Number_Ternary.bruijn.html#inc">++‣</span>
+<span class="repl">></span> <span class="symbol" data-std="String.bruijn.html#string→number">number!</span> <span class="mixfix" data-std="List_Church.bruijn.html#map"><$></span> <span class="left-app">(</span><span class="symbol" data-std="String.bruijn.html#lines">lines</span> <span class="string">"42\n25"</span><span class="right-app">)</span>
+<span class="repl">></span> <span class="term"><span class="symbol" data-std="Math.bruijn.html#sum">sum</span> (<span class="symbol" data-std="List_Church.bruijn.html#take">take</span> <span class="ternary">(+3)</span> (<span class="symbol" data-std="List_Church.bruijn.html#repeat">repeat</span> <span class="ternary">(+4)</span>))</span>
+<span class="repl">></span> <span class="binary">(+10b)</span> <span class="mixfix" data-std="Number_Binary.bruijn.html#and!">⋀!</span> <span class="binary">(+12b)</span></pre>
       </div>
 
       <div class="left">
@@ -107,9 +107,9 @@ hello world!</pre
       </div>
       <div class="right">
         <pre class="code">
-<span class="repl">></span> <span class="symbol">length</span> <span class="meta">`</span><span class="symbol">factorial</span>
-<span class="repl">></span> <span class="prefix">!</span><span class="left-app">(</span><span class="symbol">swap</span> <span class="meta">`</span><span class="left-app">(</span><span class="unary">(+2u)</span> <span class="unary">(+3u)</span><span class="right-app">))</span>
-<span class="repl">></span> <span class="symbol">lhs</span> <span class="left-app">(</span><span class="symbol">blc→meta</span> <span class="string">"010000100000110"</span><span class="right-app">)</span>
+<span class="repl">></span> <span class="symbol" data-std="Meta.bruijn.html#length">length</span> <span class="meta">`</span><span class="symbol" data-std="Math.bruijn.html#fac">factorial</span>
+<span class="repl">></span> <span class="prefix" data-std="Meta.bruijn.html#eval">!</span><span class="left-app">(</span><span class="symbol" data-std="Meta.bruijn.html#swap">swap</span> <span class="meta">`</span><span class="left-app">(</span><span class="unary">(+2u)</span> <span class="unary">(+3u)</span><span class="right-app">))</span>
+<span class="repl">></span> <span class="symbol" data-std="Meta.bruijn.html#lhs">lhs</span> <span class="left-app">(</span><span class="symbol" data-std="Meta.bruijn.html#blc→meta">blc→meta</span> <span class="string">"010000100000110"</span><span class="right-app">)</span>
 </pre>
       </div>
     </div>
@@ -132,8 +132,8 @@ $ bruijn</pre>
       <h1>Broogle</h1>
       <pre class="code">
 $ ./broogle.sh -f add
-<span class="def">add</span> ⧗ Unary → Unary → Unary
-also known as <span class="def">…+…</span>
+<span class="def" data-std="Number_Unary.bruijn.html#add">add</span> ⧗ Unary → Unary → Unary
+also known as <span class="def" data-std="Number_Unary.bruijn.html#add">…+…</span>
 in std/Number/Unary.bruijn:35
 # adds two unary numbers
 ...</pre>