diff options
Diffstat (limited to 'docs/docs/internals/periods.md')
-rw-r--r-- | docs/docs/internals/periods.md | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/docs/docs/internals/periods.md b/docs/docs/internals/periods.md index fe788915d..bb161b7b8 100644 --- a/docs/docs/internals/periods.md +++ b/docs/docs/internals/periods.md @@ -1,11 +1,8 @@ --- layout: default -title: "Periods" -toc: true +title: "Dotc's concept of time" --- -Dotc's concept of time -====================== Conceptually, the `dotc` compiler's job is to maintain views of various artifacts associated with source code at all points in time. But what is *time* for `dotc`? In fact, it is a combination of compiler runs and compiler |