        <li><a href="./typedtree.html">Using resolved expressions</a></li>
            <li><a href="./project.html">Whole-project analysis</a></li>
            <li><a href="./interactive.html">Embedding F# interactive</a></li>
            <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