Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Formality roadmap #41

Closed
nikomatsakis opened this issue May 6, 2022 · 2 comments
Closed

Formality roadmap #41

nikomatsakis opened this issue May 6, 2022 · 2 comments
Labels
deep-dive-proposal Proposal for a deep-dive discussion meeting

Comments

@nikomatsakis
Copy link
Contributor

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 nikomatsakis added the deep-dive-proposal Proposal for a deep-dive discussion meeting label May 6, 2022
@nikomatsakis
Copy link
Contributor Author

Scheduled for May 27

@nikomatsakis
Copy link
Contributor Author

Meeting was held! minutes

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
deep-dive-proposal Proposal for a deep-dive discussion meeting
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@nikomatsakis