diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-11-07 15:36:20 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2016-11-07 15:57:52 +0100 |
commit | fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c (patch) | |
tree | f99953c897acd0c2fabf75060e1845650547ccac /docs/docs/internals/type-system.md | |
parent | 5d590242132b0f38fc04afed2c787dadfd8d6c2f (diff) | |
download | dotty-fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c.tar.gz dotty-fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c.tar.bz2 dotty-fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c.zip |
Fix #1674: add search to doc site
Diffstat (limited to 'docs/docs/internals/type-system.md')
-rw-r--r-- | docs/docs/internals/type-system.md | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/docs/docs/internals/type-system.md b/docs/docs/internals/type-system.md index 191c107cf..e86e07fd1 100644 --- a/docs/docs/internals/type-system.md +++ b/docs/docs/internals/type-system.md @@ -1,9 +1,8 @@ --- layout: default +title: "Type System" --- -Type System -=========== The types are defined in [dotty/tools/dotc/core/Types.scala][1] ## Class diagram ## |