A little more work on the ref doc.

docs/html/css/func_ref.css

@@ -2,7 +2,7 @@
 body {
  background: #fff;
  color: black;
- font-family: 'EB Garamond 12';
+ font-family: 'EB Garamond 16';
 }
 
 footer {
@@ -21,7 +21,7 @@ pre {
  margin-left: 2em;
  margin-right: 2em;
  margin-bottom: 1em;
- font-family: 'Inconsolata';
+ font-family: monospace, 'Inconsolata';
  padding: 0.5em;
 }
 
@@ -50,9 +50,12 @@ a.self_link:hover {
  font-family: monospace, 'Inconsolata';
 }
 
-
 span.kind {
  color: #fff;
  background: #555;
  padding: 0.1em;
 }
+
+h3 {
+	margin-bottom: 0.1em;
+}

docs/reference/to_html.py

@@ -1,10 +1,68 @@
-import hashlib, re
+from collections import defaultdict
+import hashlib, re, sys
+sys.path.append('../../implementations/Python')
+import joy
 from myhtml import HTML
 
 TITLE = 'Thun Function Reference'
 
 with open('Function-Reference.md') as f:
     md = f.read()
+with open('../../implementations/defs.txt') as f:
+    defs = f.read()
+
+definitions = {
+    name: body
+    for name, body in (
+        defi.split(None, 1)
+        for defi in defs.splitlines()
+        )
+    if not name.startswith('_')
+    }
+
+def symbols_of(expression):
+    if isinstance(expression, str):
+        yield expression
+        return
+    if isinstance(expression, tuple) and expression:
+        yield from symbols_of(expression[0])
+        yield from symbols_of(expression[1])
+        return
+
+used_in = {
+    name: sorted(set(symbols_of(joy.text_to_expression(definitions[name]))))
+    for name in definitions
+    }
+
+used_by = defaultdict(list)
+for name in used_in:
+    for term in used_in[name]:
+        used_by[term].append(name)
+for el in used_by.values():
+    el.sort()
+
+
+def def_format(to, name):
+    try:
+        defi = definitions[name]
+    except KeyError:
+        return
+    to = to.div(class_='definition')
+    to.h3('Definition')
+    to = to.blockquote
+    start = 0
+    for match in re.finditer('[^ [\]]+', defi):
+        b, e = match.span()
+        if b != start:
+            to += defi[start:b]
+        foo = match.group()
+        anchor = anchors.get(foo, '')
+        to.a(foo, href='#' + anchor)
+        start = e
+    end = defi[start:]
+    if end:
+        to += end
+
 
 k = re.split('^-+$', md, flags=re.MULTILINE)
 #k = md.split('------------------------------------------------------------------------\n')
@@ -19,7 +77,6 @@ k = [section.splitlines() for section in k]
 ##            s.remove(i)  # cannot remove same i twice
 ##assert not s  # one header per section
 
-
 def anchor_for(name):
     return 'function_' + (
         name
@@ -46,6 +103,78 @@ combinators = set(
 for name in combinators:
     sections[name].remove('Combinator')
 
+# Crosslinks
+
+crosslinks = {}
+for name, section in sections.items():
+    try:
+        i = section.index('### Crosslinks')
+    except ValueError:
+        continue
+    crosslinks[name] = list(filter(None, section[i + 1:]))
+    del section[i:]
+
+discussions = {}
+for name, section in sections.items():
+    try:
+        i = section.index('### Discussion')
+    except ValueError:
+        continue
+    discussions[name] = list(filter(None, section[i + 1:]))
+    del section[i:]
+
+
+def add_crosslinks(to, name):
+    try:
+        links = crosslinks[name]
+    except KeyError:
+        return
+    to = to.div(class_='crosslinks')
+    to.h3('See Also')
+    first = True
+    for link in links:
+        if first:
+            first = not first
+        else:
+            to += ' '
+        match = re.match('\[(.+)\].*', link)
+        if not match:
+            print('!', link)
+            continue
+        link_to = match.group(1)
+        anchor = anchors[link_to]
+        to.a(link_to, href='#' + anchor, class_='func_name')
+
+
+def add_discussion(to, name):
+    try:
+        discussion = discussions[name]
+    except KeyError:
+        return
+    to = to.div(class_='discussion')
+    to.h3('Discussion')
+    to += ('\n'.join(discussion))
+
+
+def add_backlinks(to, name):
+    try:
+        links = used_by[name]
+    except KeyError:
+        return
+    if not links:
+        return
+    to = to.div(class_='backlinks')
+    to.h3('Used By')
+    first = True
+    for link_to in links:
+        if first:
+            first = not first
+        else:
+            to += ' '
+        anchor = anchors.get(link_to, '')
+        to.a(link_to, href='#' + anchor, class_='func_name')
+
+
 doc = HTML()
 
 with doc.head as h:
@@ -65,6 +194,7 @@ with doc.body as b:
         ul.li.a(name, href='#' + anchor_for(name))
         ul += ' '
     for name, section in sorted(sections.items()):
+        b.hr
         d = b.div
         anchor_id = anchor_for(name)
         title = d.h2(name, id=anchor_id, class_='func_name')
@@ -73,10 +203,16 @@ with doc.body as b:
         if name in combinators:
             d.p.span('combinator', class_='kind')
         d.pre('\n'.join(section))
-        
+        def_format(d, name)
+        add_discussion(d, name)
+        add_crosslinks(d, name)
+        add_backlinks(d, name)
 
 html_string = '<!DOCTYPE html>' + str(doc)
 
 print(html_string, file=open('../html/FuncRef.html', 'w'))
 #from bs4 import BeautifulSoup
 #print(BeautifulSoup(html_string, 'html.parser').prettify())
+
+##import pprint
+##pprint.pprint(crosslinks)