Skip to content

Latest commit

 

History

History

minutes

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
2022-03-18-mir-formality-goals-and-reality.md
2022-03-18-mir-formality-goals-and-reality.md
 
 
2022-04-28-lazy-type-alias-impl-trait-compiler.md
2022-04-28-lazy-type-alias-impl-trait-compiler.md
 
 
2022-04-28-lazy-type-alias-impl-trait-user-facing.md
2022-04-28-lazy-type-alias-impl-trait-user-facing.md
 
 
2022-05-27-mir-formality-roadmap.md
2022-05-27-mir-formality-roadmap.md
 
 
2022-06-03-planning-meeting.md
2022-06-03-planning-meeting.md
 
 
2022-06-10-backlog-bonanza.md
2022-06-10-backlog-bonanza.md
 
 
2022-06-17-backlog-bonanza.md
2022-06-17-backlog-bonanza.md
 
 
2022-06-24-backlog-bonanza.md
2022-06-24-backlog-bonanza.md
 
 
2022-07-01-planning-meeting.md
2022-07-01-planning-meeting.md
 
 
2022-07-08-implied-bounds-and-wf-checking.md
2022-07-08-implied-bounds-and-wf-checking.md
 
 
2022-07-15-backlog-bonanza.md
2022-07-15-backlog-bonanza.md
 
 
2022-07-29-nominated-triage.md
2022-07-29-nominated-triage.md
 
 
2022-09-02-planning-meeting.md
2022-09-02-planning-meeting.md
 
 
2022-09-09-projection-equality.md
2022-09-09-projection-equality.md
 
 
2022-09-16-TAIT-stabilization-finalizations.md
2022-09-16-TAIT-stabilization-finalizations.md
 
 
2022-09-23-RPITIT-support.md
2022-09-23-RPITIT-support.md
 
 
2022-09-30-chalk-integration.md
2022-09-30-chalk-integration.md
 
 
2022-10-07-planning-meeting.md
2022-10-07-planning-meeting.md
 
 
2022-10-21-issue-triage.md
2022-10-21-issue-triage.md
 
 
2022-10-28-roadmap.md
2022-10-28-roadmap.md
 
 
2022-11-04-planning-meeting.md
2022-11-04-planning-meeting.md
 
 
2022-11-11-RPIT-self-PR.md
2022-11-11-RPIT-self-PR.md
 
 
2022-11-16-closure-return-type-outlives.md
2022-11-16-closure-return-type-outlives.md
 
 
README.md
README.md
 
 
design-2019-10-16.md
design-2019-10-16.md
 
 
design-2019-10-21.md
design-2019-10-21.md
 
 
design-2019-10-28.md
design-2019-10-28.md
 
 
design-2019-11-04.md
design-2019-11-04.md
 
 
design-2019-11-11.md
design-2019-11-11.md
 
 
design-2019-11-18.md
design-2019-11-18.md
 
 
design-2019-12-02.md
design-2019-12-02.md
 
 
design-2019-12-09.md
design-2019-12-09.md
 
 
design-2019-12-16.md
design-2019-12-16.md
 
 
design-2019-12-30.md
design-2019-12-30.md
 
 
design-2020-01-06.md
design-2020-01-06.md
 
 
design-2020-01-13.md
design-2020-01-13.md
 
 
design-2020-02-11.md
design-2020-02-11.md
 
 
design-2020-02-25.md
design-2020-02-25.md
 
 
design-2020-03-03.md
design-2020-03-03.md
 
 
design-2020-03-10.md
design-2020-03-10.md
 
 
design-2020-03-17.md
design-2020-03-17.md
 
 
design-2020-03-24.md
design-2020-03-24.md
 
 
design-2020-03-31.md
design-2020-03-31.md
 
 
design-2020-04-07.md
design-2020-04-07.md
 
 
design-2020-04-14.md
design-2020-04-14.md
 
 
design-2020-04-21.md
design-2020-04-21.md
 
 
design-2020-04-28.md
design-2020-04-28.md
 
 
design-2020-05-05.md
design-2020-05-05.md
 
 
design-2020-05-12.md
design-2020-05-12.md
 
 
triage-2019-02-24.md
triage-2019-02-24.md
 
 
triage-2019-03-04.md
triage-2019-03-04.md
 
 
triage-2019-03-11.md
triage-2019-03-11.md
 
 

README.md

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.

Design meetings

  • 2019.10.16: How to handle normalization in chalk and ideas about what a generic library to represent types might look like.