rust-lang / types-team

Home of the "types team", affiliated with the compiler and lang teams.
https://rust-lang.github.io/types-team/
Apache License 2.0
95 stars 19 forks source link

Review chalkification roadmap #42

Closed nikomatsakis closed 2 years ago

nikomatsakis commented 2 years ago

Summary

Review the results of our chalkification planning:

Rationale

Key planning

nikomatsakis commented 2 years ago

Scheduled for May 13

nikomatsakis commented 2 years ago

Zulip discussion