search

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

Formality roadmap #41

Closed nikomatsakis closed 2 years ago

nikomatsakis commented 2 years ago

Summary

Review a-mir-formality roadmap and discuss prioritization and milestones

Rationale

a-mir-formality is a key team deliverable and I'm trying to move it from "Niko's project" to a rust-lang project

nikomatsakis commented 2 years ago

Scheduled for May 27

nikomatsakis commented 2 years ago

Meeting was held! minutes