aboutsummaryrefslogtreecommitdiff
path: root/docs/_includes/toc.html
blob: 1e165ecaafbb21009685bb635cd1f33b21c13e33 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
<div>
    <div id="scala-logo">
        {% include scala-logo.html %}
    </div>
    <ul id="categories">
        <li><ul><li><a href="{{ site.baseurl }}/blog">Blog</a></li></ul></li>
        <li><ul><li><a href="{{ site.baseurl }}/">Dotty Docs</a></li></ul></li>
        <li>
            Usage
            <ul>
                <li><a href="{{ site.baseurl }}/usage/migrating.html">Migrating from Scala 2</a></li>
                <li><a href="{{ site.baseurl }}/usage/sbt-projects.html">Using Dotty with sbt</a></li>
            </ul>
        </li>
        <li>
            Contributing
            <ul>
                <li><a href="{{ site.baseurl }}/contributing/getting-started.html">Getting Started</a></li>
                <li><a href="{{ site.baseurl }}/contributing/workflow.html">Workflow</a></li>
                <li><a href="{{ site.baseurl }}/contributing/eclipse.html">Eclipse</a></li>
                <li><a href="{{ site.baseurl }}/contributing/intellij-idea.html">Intellij-IDEA</a></li>
            </ul>
        </li>
        <li>
            Internals
            <ul>
                <li><a href="{{ site.baseurl }}/internals/backend.html">Backend</a></li>
                <li><a href="{{ site.baseurl }}/internals/contexts.html">Contexts</a></li>
                <li><a href="{{ site.baseurl }}/internals/higher-kinded-v2.html">Higher Kinded Type Scheme</a></li>
                <li><a href="{{ site.baseurl }}/internals/overall-structure.html">Project Structure</a></li>
                <li><a href="{{ site.baseurl }}/internals/periods.html">Periods</a></li>
                <li><a href="{{ site.baseurl }}/internals/type-system.html">Type System</a></li>
                <li><a href="{{ site.baseurl }}/internals/dotc-scalac.html">Dotty vs Scala2</a></li>
            </ul>
        </li>
    </ul>
</div>