diff --git a/doc-tool/resources/_layouts/main.html b/doc-tool/resources/_layouts/main.html index 364da6fb7ade..9ed4090d3d38 100644 --- a/doc-tool/resources/_layouts/main.html +++ b/doc-tool/resources/_layouts/main.html @@ -1,4 +1,4 @@ - + diff --git a/docs/blog/_posts/2015-10-23-dotty-compiler-bootstraps.md b/docs/blog/_posts/2015-10-23-dotty-compiler-bootstraps.md index 9d49fb1eee47..582d2f1f144d 100644 --- a/docs/blog/_posts/2015-10-23-dotty-compiler-bootstraps.md +++ b/docs/blog/_posts/2015-10-23-dotty-compiler-bootstraps.md @@ -4,7 +4,7 @@ author: Martin Odersky and Dmitry Petrashko title: "We got liftoff!" subTitle: The Dotty compiler for Scala bootstraps. excerpt_separator: -date: 2015-10-23 +date: 2015-10-23 00:00:00 --- The [Dotty project](https://github.com/lampepfl/dotty) diff --git a/docs/blog/_posts/2016-01-02-new-year-resolutions.md b/docs/blog/_posts/2016-01-02-new-year-resolutions.md index 75e6f0c7b278..4a01ff36ab69 100644 --- a/docs/blog/_posts/2016-01-02-new-year-resolutions.md +++ b/docs/blog/_posts/2016-01-02-new-year-resolutions.md @@ -3,7 +3,7 @@ layout: blog-page title: New Year Resolutions author: Martin Odersky authorImg: /images/martin.jpg -date: 2016-01-02 +date: 2016-01-02 00:00:00 --- For most of us, the change of the year is an occasion for thinking @@ -60,7 +60,3 @@ simpler: The language, its foundations, its libraries. I hope you will join me in that venture. With that thought, I wish you a happy new year 2016. - - - - diff --git a/docs/blog/_posts/2016-02-03-essence-of-scala.md b/docs/blog/_posts/2016-02-03-essence-of-scala.md index 8ccac0b5ab43..9bfec96e0f15 100644 --- a/docs/blog/_posts/2016-02-03-essence-of-scala.md +++ b/docs/blog/_posts/2016-02-03-essence-of-scala.md @@ -3,7 +3,7 @@ layout: blog-page title: The Essence of Scala author: Martin Odersky authorImg: /images/martin.jpg -date: 2016-02-03 +date: 2016-02-03 00:00:00 --- What do you get if you boil Scala on a slow flame and wait until all @@ -143,4 +143,3 @@ project are important. either to increase our confidence that they are indeed sound, or to show that they are unsound. In my next blog I will present some of the issues we have discovered through that exercise. - diff --git a/docs/blog/_posts/2016-02-17-scaling-dot-soundness.md b/docs/blog/_posts/2016-02-17-scaling-dot-soundness.md index fd5fad5e73c2..01dfc4086f12 100644 --- a/docs/blog/_posts/2016-02-17-scaling-dot-soundness.md +++ b/docs/blog/_posts/2016-02-17-scaling-dot-soundness.md @@ -3,7 +3,7 @@ layout: blog-page title: Scaling DOT to Scala - Soundness author: Martin Odersky authorImg: /images/martin.jpg -date: 2016-02-17 +date: 2016-02-17 00:00:00 --- In my [last @@ -150,10 +150,3 @@ should make sure not to back-slide. And if the experience of the past 10 years has taught us one thing, it is that the meta theory of type systems has many more surprises in store than one might think. That's why mechanical proofs are essential. - - - - - - - diff --git a/docs/blog/_posts/2016-05-05-multiversal-equality.md b/docs/blog/_posts/2016-05-05-multiversal-equality.md index e524ad95e671..88ba6dd4192a 100644 --- a/docs/blog/_posts/2016-05-05-multiversal-equality.md +++ b/docs/blog/_posts/2016-05-05-multiversal-equality.md @@ -3,7 +3,7 @@ layout: blog-page title: Multiversal Equality for Scala author: Martin Odersky authorImg: /images/martin.jpg -date: 2016-05-05 +date: 2016-05-05 00:00:00 --- I have been working recently on making equality tests using `==` and `!=` safer in Scala. This has led to a [Language Enhancement Proposal](https://github.com/lampepfl/dotty/issues/1247) which I summarize in this blog. diff --git a/docs/blog/_posts/2016-12-05-implicit-function-types.md b/docs/blog/_posts/2016-12-05-implicit-function-types.md index afb271ba7e15..7dca1e89b0a5 100644 --- a/docs/blog/_posts/2016-12-05-implicit-function-types.md +++ b/docs/blog/_posts/2016-12-05-implicit-function-types.md @@ -3,7 +3,7 @@ layout: blog-page title: Implicit Function Types author: Martin Odersky authorImg: /images/martin.jpg -date: 2016-12-05 +date: 2016-12-05 00:00:00 --- I just made the [first pull request](https://github.com/lampepfl/dotty/pull/1775) to add _implicit function types_ to diff --git a/docs/blog/_posts/2017-05-31-first-dotty-milestone-release.md b/docs/blog/_posts/2017-05-31-first-dotty-milestone-release.md index e33044729665..e54d05ef2e54 100644 --- a/docs/blog/_posts/2017-05-31-first-dotty-milestone-release.md +++ b/docs/blog/_posts/2017-05-31-first-dotty-milestone-release.md @@ -3,7 +3,7 @@ layout: blog-page title: Announcing Dotty 0.1.2-RC1, a major step towards Scala 3 author: Dmytro Petrashko authorImg: /images/petrashko.jpg -date: 2017-05-31 +date: 2017-05-31 00:00:00 --- Today, we are excited to release Dotty version 0.1.2-RC1. This release