update content to be modern

Author: nikomatsakis

README.md

@@ -1,6 +1,4 @@
-Home of the "traits working group", affiliated with the compiler and
-lang teams. This repository is used to house draft RFCs, notes, and
-other related documents.
+# Traits Working Group
 
 # Scope and purpose
 
@@ -21,21 +19,30 @@ to the existing solver where needed.
 
 [Chalk-style]: https://github.com/rust-lang-nursery/chalk
 
-# How to participate
+## Design meetings
+
+We hold weekly design meetings where we talk in depth about various
+topics ([calendar event][ce-design]).  These meetings take place on Zulip (see below). The goal is
+not just to figure out what we want to do, it's also a way to spread
+knowledge. Feel free to come and lurk!
+
+[ce-design]: https://calendar.google.com/event?action=TEMPLATE&tmeid=MnFmbmdkaGV0aXE3Zjc4cjlpNWVjNDRoZXMgNnU1cnJ0Y2U2bHJ0djA3cGZpM2RhbWdqdXNAZw&tmsrc=6u5rrtce6lrtv07pfi3damgjus%40group.calendar.google.com
+
+You'll find minutes from past meetings in [the minutes directory](minutes).
 
 ## Chat forum
 
-On [the rust-lang Zulip][z], in [the `#t-compiler/wg-traits` stream][s].
+On [the rust-lang Zulip][z], in [the `#wg-traits` stream][s].
 
 [z]: https://rust-lang.zulipchat.com/
-[s]: https://rust-lang.zulipchat.com/#narrow/stream/144729-t-compiler.2Fwg-traits
+[s]: https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits
+
+## Dedicated repository
+
+Documents related to the wg-traits working group are stored on a
+dedicated repository, [rust-lang/wg-traits]. This repository contains
+meeting minutes, past sprints, as well as draft RFCs and other
+documents.
 
-## Weekly triage meeting
 
-There is a weekly triage meeting which you will find on the [compiler
-meeting calendar][c]. The purpose of this meeting is to take stock of
-where we are and figure out what to do next. The meeting takes place
-on [Zulip][z] in a dedicated topic of the [the `#t-compiler/wg-traits`
-stream][s].
 
-[c]: https://github.com/rust-lang/compiler-team#meeting-calendar

minutes/README.md

@@ -1,5 +1,11 @@
-This directory contains the minutes from our weekly synchronization meetings.
-These meetings are held on Zulip and you can find the time and other information
-in [the compiler-team calendar][c].
+This directory contains the minutes from our various meetings. These
+meetings are held on Zulip and you can find the time and other
+information in [the compiler-team calendar][c].
 
 [c]: https://github.com/rust-lang/compiler-team#meeting-calendar
+
+## Design meetings
+
+* [2019.10.16](design-2019-10-16.md): How to handle normalization in
+  chalk and ideas about what a generic library to represent types
+  might look like.

minutes/design-2019-10-16.md

@@ -0,0 +1,18 @@
+# traits design meeting 2019.10.16
+
+## topic
+
+How to handle normalization in chalk and ideas about what a generic
+library to represent types might look like.
+
+## summary 
+
+Key points in the discussion:
+
+* [how does normalization work in chalk today](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/meeting.202019-10-16/near/178314511)
+* [would like to remove unnormalized projections and move that logic to clause lowering](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/meeting.202019-10-16/near/178315108)
+* [but this makes lowering more complex](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/meeting.202019-10-16/near/178315630)
+* [can use generics to keep things straight](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/meeting.202019-10-16/near/178315802)
+* [and in particular a typefamily trait](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/meeting.202019-10-16/near/178316023)
+* [this typefamily trait can be the foundation for a generic type library](https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/meeting.202019-10-16/near/178316849)
+*