update website

SUMMARY.md

@@ -3,15 +3,21 @@
 - [👋🏽 Welcome](./README.md)
 - [📜 Charter](./CHARTER.md)
 - [🔮 The vision](./vision.md)
-   - [🙋‍♀️ Cast of characters](./vision/characters.md)
-   - [🔀 Skill Tree](./skill-tree.md)
-   - [😱 Status quo](./vision/status_quo.md)
-      - [Array defaults](./vision/status_quo/array_default.md)
-      - [Array split first method](./vision/status_quo/split_first.md)
-   - [✨ Shiny future](./vision/shiny_future.md)
-      - [Array defaults](./vision/shiny_future/array_default.md)
-      - [Array split first method](./vision/shiny_future/split_first.md)
-      - [Image type in rust-gpu](./vision/shiny_future/image_type.md)
-   - [📅 Roadmap for 2021](./vision/roadmap.md)
-   - [❓How to vision doc](./vision/how_to_vision_doc.md)- [Meetings](./meetings/README.md)
+    - [🙋‍♀️ Cast of characters](./vision/characters.md)
+    - [🔀 Skill Tree](./skill-tree.md)
+    - [😱 Status quo](./vision/status_quo.md)
+        - [Array defaults](./vision/status_quo/array_default.md)
+        - [Array split first method](./vision/status_quo/split_first.md)
+    - [✨ Shiny future](./vision/shiny_future.md)
+        - [Array defaults](./vision/shiny_future/array_default.md)
+        - [Array split first method](./vision/shiny_future/split_first.md)
+        - [Image type in rust-gpu](./vision/shiny_future/image_type.md)
+    - [📅 Roadmap for 2021](./vision/roadmap.md)
+    - [❓How to vision doc](./vision/how_to_vision_doc.md) 
+- [🔍 Meetings](./meetings/README.md)
+- [📚 Design Documents](./design-docs/README.md)
+    - [Anon const substs](./design-docs/anon-const-substs.md)
+    - [Const eval requirements](./design-docs/const-eval-requirements.md)
+    - [Generic const param types](./design-docs/generic-const-param-types.md)
 - [✏️ Draft RFCs](./draft-rfcs/README.md)
+s

design-docs/README.md

@@ -0,0 +1,3 @@
+# Design documents
+
+This folder contains implementation and design considerations about const generics.

meetings/README.md

@@ -2,3 +2,5 @@
 
 This folder contains the minutes of all the recorded meetings that have happened
 so far.
+
+Check them out [on github](https://github.com/rust-lang/project-const-generics/tree/master/meetings).

vision.md

@@ -10,6 +10,6 @@ This section lays out a general vision and set of goals for Const Generics in Ru
 
 ## This is a group effort
 
-As the leads of the Const Generics group, Niko and Lcnr are driving and organizing this document. But writing it and shaping it is a group effort. If you think there is a part of the const generics experience that is not reflected here, we want to hear from you! Check out the [How to vision doc] for more details on how to contribute.
+As the leads of the Const Generics group, Niko and lcnr are driving and organizing this document. But writing it and shaping it is a group effort. If you think there is a part of the const generics experience that is not reflected here, we want to hear from you! Check out the [How to vision doc] for more details on how to contribute.
 
 [How to vision doc]: ./vision/how_to_vision_doc.md