plt redex walkthrough - Githubissues

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

Closed nikomatsakis closed 2 years ago

nikomatsakis commented 2 years ago

We've been doing this in the a-mir-formality walkthroughs, closing this.