aboutsummaryrefslogtreecommitdiff
path: root/docs/index.md
diff options
context:
space:
mode:
Diffstat (limited to 'docs/index.md')
-rw-r--r--docs/index.md33
1 files changed, 18 insertions, 15 deletions
diff --git a/docs/index.md b/docs/index.md
index 899dfb933..b8c5e9c20 100644
--- a/docs/index.md
+++ b/docs/index.md
@@ -1,3 +1,8 @@
+---
+layout: default
+title: "Docs"
+---
+
Dotty Documentation
===================
The Dotty compiler is currently somewhat lacking in documentation - PRs
@@ -6,26 +11,24 @@ pages.
Index
-----
-* [Blog](blog/) posts written for scala-lang.org or dotty.epfl.ch
-* [Contributing](contributing/)
- - [Eclipse](contributing/eclipse.md) setting up dev environment
- - [Intellij-IDEA](contributing/intellij-idea.md) setting up dev environment
- - [Getting Started](contributing/gettings-started.md) details on how to run
+* [Blog](blog/)
+* Usage
+ - [Migrating from Scala 2](usage/migrating.md)
+ - [Using Dotty with sbt](usage/sbt-projects.md)
+* Contributing
+ - [Getting Started](contributing/getting-started.md) details on how to run
tests, use the cli scripts
- [Workflow](contributing/workflow.md) common dev patterns and hints
-* [Internals](internals/) documents the compiler internals
+ - [Eclipse](contributing/eclipse.md) setting up dev environment
+ - [Intellij-IDEA](contributing/intellij-idea.md) setting up dev environment
+* Internals document the compiler internals
+ - [Project Structure](internals/overall-structure.md)
+ of the project
- [Backend](internals/backend.md) details on the bytecode backend
- [Contexts](internals/contexts.md) details the use of `Context` in the
compiler
+ - [Dotty vs Scala2](internals/dotc-scalac.md)
- [Higher Kinded Type Scheme](internals/higher-kinded-v2.md)
scheme
- - [Project Structure](internals/overall-structure.md)
- of the project
- [Periods](internals/periods.md)
-* [Usage](usage/)
- - [Migrating from Scala 2](usage/migrating.md)
- - [Using Dotty with sbt](usage/sbt-projects.md)
-* [Differences between DOT and Dotty](difference-dot-dotty.md) differences between the type
- calculus and Dotty
-* [Dotty vs Scala2](dotc-scalac.md)
-* [Type System](type-system.md)
+ - [Type System](internals/type-system.md)