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

Introducing "a-mir-formality" #33

Closed nikomatsakis closed 2 years ago

nikomatsakis commented 2 years ago

Introduce the a-mir-formality repository, some of its goals, how it works, and how it can be useful.

nikomatsakis commented 2 years ago

We did this!

https://rust-lang.zulipchat.com/#narrow/stream/144729-wg-traits/topic/deep.20dive.202022-03-18.3A.20intro.20to.20formality