      <li><a href="./compiler.html">Embedding F# compiler</a></li>
            <li><a href="./filesystem.html">Virtualized file system</a></li>

            <li class="nav-header">Design Notes</li>
            <li><a href="./queue.html">The FSharpChecker operations queue</a></li>
            <li><a href="./caches.html">The FSharpChecker caches</a></li>
            <li><a href="./corelib.html">Notes on FSharp.Core.dll</a></li>

            <li class="nav-header">Documentation</li>
            <li><a href="./