Merge pull request #1332 from herbie-fp/cleanup-docs

Document representations and generators

Author: pavpanchekha

www/doc.html

@@ -37,13 +37,13 @@ <h2>Documentation</h2>
     <li><a href="doc/latest/options.html">Command-line flags</a>: modifying Herbie's behavior.</li>
     <li><a href="doc/latest/error.html">What is error?</a>: how Herbie measures floating-point error.</li>
     <li><a href="doc/latest/faq.html">Warnings and Errors</a>: troubleshooting Herbie.</li>
-    <li><a href="doc/latest/platforms.html">Platforms</a>: how to write a new Herbie compilation target.</li>
     <li><a href="doc/latest/release-notes.html">Release Notes</a>: the biggest and latest changes to Herbie.</li>
   </ul>
 
-  <h2>Internal Documentation</h2>
+  <h2>Developer Documentation</h2>
   <ul>
-    <li><a href="doc/latest/plugins.html">Plugins</a>: teaching Herbie about new input formats.</li>
+    <li><a href="doc/latest/platforms.html">Platforms</a>: how to write a new Herbie compilation target.</li>
+    <li><a href="doc/latest/plugins.html">Other APIs</a>: advanced APIs for compilation targets.</li>
     <li><a href="doc/latest/api-endpoints.html">HTTP API</a>: Herbie's HTTP endpoints</li>
     <li><a href="doc/latest/diagrams.html">Diagrams</a>: miscellaneous figures related to Herbie</li>
   </ul>

www/doc/2.2/platforms.html

@@ -45,8 +45,8 @@ <h2>Platform Concepts</h2>
   reprentations of <code>real</code> and correspond to single- and
   double-precision IEEE-754 arithmetic. There's also
   a <code>&lt;bool&gt;</code> representation for booleans. It's
-  possible to define new representations, but that's out of scope for
-  this page.</p>
+  possible to define new representations, described
+  on <a href="plugins.html">another page</a>.</p>
 
   <p><dfn>Operations</dfn> are the floating-point analog of functions
   and represent the actual floating-point operation the compilation