Fix urls

Author: kiendang

_sips/minutes/2018-09-24-sip-minutes.md

@@ -13,11 +13,11 @@ The following agenda was distributed to attendees:
 | --- | --- | --- |
 | Summary of the Contributors thread [“Proposal to remove XML literals from the language”](https://contributors.scala-lang.org/t/proposal-to-remove-xml-literals-from-the-language/2146) | Sébastien Doeraene | Pending
 | Summary of the Contributors thread [“Proposal to remove the procedure Syntax”](https://contributors.scala-lang.org/t/proposal-to-remove-procedure-syntax/2143) | Josh Suereth | Pending |
-| [Proposal to add Intersection Types to the Language](https://dotty.epfl.ch/docs/reference/intersection-types.html) | Martin Odersky | Discussion opened until the 25th October 2018, comments welcomed [here](https://contributors.scala-lang.org/t/proposal-to-add-intersection-types-to-the-language/2351) |
-| [Proposal to Add Union Types to the Language](https://dotty.epfl.ch/docs/reference/union-types.html) | Martin Odersky | Discussion opened until the 25th October 2018, comments welcomed [here](https://contributors.scala-lang.org/t/proposal-to-add-union-types-to-the-language/2352) | 
-| [Proposal to add Implicit Function Types to the Language](https://dotty.epfl.ch/docs/reference/implicit-function-types.html) | Martin Odersky | Discussion opened until the 25th October 2018, comments welcomed [here](https://contributors.scala-lang.org/t/proposal-to-add-implicit-function-types-to-the-language/2353) |
-| [Proposal to add Dependent Function Types to the Language](https://dotty.epfl.ch/docs/reference/dependent-function-types.html) | Martin Odersky | Discussion opened until the 25th October 2018, comments welcomed [here](https://contributors.scala-lang.org/t/proposal-to-add-dependent-function-types-to-the-language/2354/1) |
-| [Proposal to add Trait Parameters to the Language](https://dotty.epfl.ch/docs/reference/trait-parameters.html) | Martin Odersky | Discussion opened until the 25th October 2018, comments welcomed [here](https://contributors.scala-lang.org/t/proposal-to-add-trait-parameters-to-the-language/2356) |
+| [Proposal to add Intersection Types to the Language](https://dotty.epfl.ch/docs/reference/new-types/intersection-types.html) | Martin Odersky | Discussion opened until the 25th October 2018, comments welcomed [here](https://contributors.scala-lang.org/t/proposal-to-add-intersection-types-to-the-language/2351) |
+| [Proposal to Add Union Types to the Language](https://dotty.epfl.ch/docs/reference/new-types/union-types.html) | Martin Odersky | Discussion opened until the 25th October 2018, comments welcomed [here](https://contributors.scala-lang.org/t/proposal-to-add-union-types-to-the-language/2352) | 
+| [Proposal to add Implicit Function Types to the Language](https://dotty.epfl.ch/docs/reference/new-types/implicit-function-types.html) | Martin Odersky | Discussion opened until the 25th October 2018, comments welcomed [here](https://contributors.scala-lang.org/t/proposal-to-add-implicit-function-types-to-the-language/2353) |
+| [Proposal to add Dependent Function Types to the Language](https://dotty.epfl.ch/docs/reference/new-types/dependent-function-types.html) | Martin Odersky | Discussion opened until the 25th October 2018, comments welcomed [here](https://contributors.scala-lang.org/t/proposal-to-add-dependent-function-types-to-the-language/2354/1) |
+| [Proposal to add Trait Parameters to the Language](https://dotty.epfl.ch/docs/reference/other-new-features/trait-parameters.html) | Martin Odersky | Discussion opened until the 25th October 2018, comments welcomed [here](https://contributors.scala-lang.org/t/proposal-to-add-trait-parameters-to-the-language/2356) |
 
 Jorge Vicente Cantero was the Process Lead and Darja Jovanovic was the secretary.
 
@@ -125,7 +125,7 @@ An overview of the second batch can be found [in this Scala Contributors thread]
 Feedback on these proposals is open until the 25th October 2018, as describe
 in the linked Scala Contributors thread.
 
-#### [Proposal to add Intersection Types](https://dotty.epfl.ch/docs/reference/intersection-types.html) and [Union Types](https://dotty.epfl.ch/docs/reference/union-types.html) to the language
+#### [Proposal to add Intersection Types](https://dotty.epfl.ch/docs/reference/new-types/intersection-types.html) and [Union Types](https://dotty.epfl.ch/docs/reference/new-types/union-types.html) to the language
 
  ([YouTube time: 20’49’’ - 24'01](https://youtu.be/tEb4UF6RJrM?t=1250))
 
@@ -154,7 +154,7 @@ There is some back-and-forth between **Sebastien** and **Josh** with
 regards to performance of union types and their boxing (especially in the
 presence of specialization). [More](https://youtu.be/tEb4UF6RJrM?t=1913)
 
-#### [Proposal to add Implicit Function Types to the Language](https://dotty.epfl.ch/docs/reference/implicit-function-types.html)
+#### [Proposal to add Implicit Function Types to the Language](https://dotty.epfl.ch/docs/reference/new-types/implicit-function-types.html)
 
 ([YouTube time: 39’01’’ - 43’11’’](https://youtu.be/tEb4UF6RJrM?t=2341))
 
@@ -180,15 +180,15 @@ definition of scope injection comes more from a typing rules perspective
 rather than the lexical point of view. **Martin** agrees that if there is a
 name clash with implicit function types there is a problem indeed.
 
-#### [Proposal to add Dependent Function Types to the Language](https://dotty.epfl.ch/docs/reference/dependent-function-types.html)
+#### [Proposal to add Dependent Function Types to the Language](https://dotty.epfl.ch/docs/reference/new-types/dependent-function-types.html)
  ([YouTube time: 43’11’’ - 44’40’’](https://youtu.be/tEb4UF6RJrM?t=2591))
 
 **Martin** mentions that dependent function types is the last big addition to Scala's type checker. The reason why they are added is because Scala has dependent methods and there is a need for dependent functions (the same rationale has been doing with regards to implicit methods and implicit function types). It's an obvious win because dependent function types allow us to abstract over the idea of implicit methods in functions, so the more we can do the better. Initially he was afraid of the feature because he thought it violated this Scala principle that in the end anything is an instance of a class in some way and it turned out that a new encoding of dependent function types made this initial argument moot. Dependent function types are now encoded as implicit function types with type refinements, so this way it doesn't violate that principle.
 **Adriaan** mentions that the last missing bit is polymorphic function types
 and Martin agrees and says that they are looking into that, but maybe not for
 Scala 3.0 (Guillaume Martres is pushing for polymorphic function types).
 
-#### [Proposal to add Trait Parameters to the Language](https://dotty.epfl.ch/docs/reference/trait-parameters.html)
+#### [Proposal to add Trait Parameters to the Language](https://dotty.epfl.ch/docs/reference/other-new-features/trait-parameters.html)
 
 ([YouTube time: 44’42’’ - end ](https://youtu.be/tEb4UF6RJrM?t=2682)) 
 

_sips/minutes/2018-11-26-sip-minutes.md

@@ -89,37 +89,37 @@ The Committee came up with the curated list, based on 3 categories, "core", "ess
 
 Please see the [full list here](https://docs.google.com/spreadsheets/d/1GWJUo0U3JbBtrfg5vqgb6H5S6wlU5HnTxebLcHwD1zw/edit?usp=sharing), naming the "core" features as follows:
 
-[Early Initializers](https://dotty.epfl.ch/docs/reference/dropped/early-initializers.html)
+[Early Initializers](https://dotty.epfl.ch/docs/reference/dropped-features/early-initializers.html)
 
-[Trait Parameters](https://dotty.epfl.ch/docs/reference/trait-parameters.html)
+[Trait Parameters](https://dotty.epfl.ch/docs/reference/other-new-features/trait-parameters.html)
 
-[Intersection Types](http://dotty.epfl.ch/docs/reference/intersection-types.html)
+[Intersection Types](http://dotty.epfl.ch/docs/reference/new-types/intersection-types.html)
 
-[Union Types](http://dotty.epfl.ch/docs/reference/union-types.html)
+[Union Types](http://dotty.epfl.ch/docs/reference/new-types/union-types.html)
 
-[Dependent Function Types](http://dotty.epfl.ch/docs/reference/dependent-function-types.html)
+[Dependent Function Types](http://dotty.epfl.ch/docs/reference/new-types/dependent-function-types.html)
 
-[Implicit Function Types](http://dotty.epfl.ch/docs/reference/implicit-function-types.html)
+[Implicit Function Types](http://dotty.epfl.ch/docs/reference/new-types/implicit-function-types.html)
 
-[Weak Conformance](https://dotty.epfl.ch/docs/reference/dropped/weak-conformance.html)
+[Weak Conformance](https://dotty.epfl.ch/docs/reference/dropped-features/weak-conformance.html)
 
-[Type Lambdas](https://dotty.epfl.ch/docs/reference/type-lambdas.html)
+[Type Lambdas](https://dotty.epfl.ch/docs/reference/new-types/type-lambdas.html)
 
-[Type Checking](https://dotty.epfl.ch/docs/reference/changed/type-checking.html)
+[Type Checking](https://dotty.epfl.ch/docs/reference/changed-features/type-checking.html)
 
-[Type Inference](https://dotty.epfl.ch/docs/reference/changed/type-inference.html)
+[Type Inference](https://dotty.epfl.ch/docs/reference/changed-features/type-inference.html)
 
-[Implicit Resolution](https://dotty.epfl.ch/docs/reference/changed/implicit-resolution.html)
+[Implicit Resolution](https://dotty.epfl.ch/docs/reference/changed-features/implicit-resolution.html)
 
-[Pattern matching](https://dotty.epfl.ch/docs/reference/changed/pattern-matching.html)
+[Pattern matching](https://dotty.epfl.ch/docs/reference/changed-features/pattern-matching.html)
 
-[Existential Types](https://dotty.epfl.ch/docs/reference/dropped/existential-types.html)
+[Existential Types](https://dotty.epfl.ch/docs/reference/dropped-features/existential-types.html)
 
-[Type Projection](https://dotty.epfl.ch/docs/reference/dropped/type-projection.html)
+[Type Projection](https://dotty.epfl.ch/docs/reference/dropped-features/type-projection.html)
 
-[Class Shadowing](https://dotty.epfl.ch/docs/reference/dropped/class-shadowing.html)
+[Class Shadowing](https://dotty.epfl.ch/docs/reference/dropped-features/class-shadowing.html)
 
-[Trait Parameters](https://dotty.epfl.ch/docs/reference/trait-parameters.html)
+[Trait Parameters](https://dotty.epfl.ch/docs/reference/other-new-features/trait-parameters.html)