From e0660b9ff6a5b32e2da3ac247bb2b87b540f476c Mon Sep 17 00:00:00 2001 From: Nicolas Stucki Date: Wed, 31 May 2017 15:11:52 +0200 Subject: [PATCH] Fix dates --- docs/blog/_posts/2015-10-23-dotty-compiler-bootstraps.md | 1 + docs/blog/_posts/2016-01-02-new-year-resolutions.md | 1 + docs/blog/_posts/2016-02-03-essence-of-scala.md | 1 + docs/blog/_posts/2016-02-17-scaling-dot-soundness.md | 1 + docs/blog/_posts/2016-05-05-multiversal-equality.md | 1 + docs/blog/_posts/2016-12-05-implicit-function-types.md | 1 + docs/blog/_posts/2017-05-31-first-dotty-milestone-release.md | 1 + 7 files changed, 7 insertions(+) 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 7eccb4a2b5c0..9d49fb1eee47 100644 --- a/docs/blog/_posts/2015-10-23-dotty-compiler-bootstraps.md +++ b/docs/blog/_posts/2015-10-23-dotty-compiler-bootstraps.md @@ -4,6 +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 --- 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 b06ddb906bfc..75e6f0c7b278 100644 --- a/docs/blog/_posts/2016-01-02-new-year-resolutions.md +++ b/docs/blog/_posts/2016-01-02-new-year-resolutions.md @@ -3,6 +3,7 @@ layout: blog-page title: New Year Resolutions author: Martin Odersky authorImg: /images/martin.jpg +date: 2016-01-02 --- For most of us, the change of the year is an occasion for thinking 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 f36f41a7d6ce..8ccac0b5ab43 100644 --- a/docs/blog/_posts/2016-02-03-essence-of-scala.md +++ b/docs/blog/_posts/2016-02-03-essence-of-scala.md @@ -3,6 +3,7 @@ layout: blog-page title: The Essence of Scala author: Martin Odersky authorImg: /images/martin.jpg +date: 2016-02-03 --- What do you get if you boil Scala on a slow flame and wait until all 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 4d1806a7b7d5..fd5fad5e73c2 100644 --- a/docs/blog/_posts/2016-02-17-scaling-dot-soundness.md +++ b/docs/blog/_posts/2016-02-17-scaling-dot-soundness.md @@ -3,6 +3,7 @@ layout: blog-page title: Scaling DOT to Scala - Soundness author: Martin Odersky authorImg: /images/martin.jpg +date: 2016-02-17 --- In my [last diff --git a/docs/blog/_posts/2016-05-05-multiversal-equality.md b/docs/blog/_posts/2016-05-05-multiversal-equality.md index 142c4130a53a..e524ad95e671 100644 --- a/docs/blog/_posts/2016-05-05-multiversal-equality.md +++ b/docs/blog/_posts/2016-05-05-multiversal-equality.md @@ -3,6 +3,7 @@ layout: blog-page title: Multiversal Equality for Scala author: Martin Odersky authorImg: /images/martin.jpg +date: 2016-05-05 --- 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 52bcf61a7cda..afb271ba7e15 100644 --- a/docs/blog/_posts/2016-12-05-implicit-function-types.md +++ b/docs/blog/_posts/2016-12-05-implicit-function-types.md @@ -3,6 +3,7 @@ layout: blog-page title: Implicit Function Types author: Martin Odersky authorImg: /images/martin.jpg +date: 2016-12-05 --- 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 a534b75370aa..1b819a072695 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,6 +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 --- Today, we are excited to release Dotty version 0.1.2-RC1. This release