Suggest an alternative to

a-mir-formality

a model of MIR and the Rust type/trait system

Why do you think that https://github.com/evdubs/renegade-way is a good alternative to a-mir-formality

A URL to the alternative repo (e.g. GitHub, GitLab)

Here you can share your experience with the project you are suggesting or its comparison with a-mir-formality. Optional.

A valid email to send you a verification link when necessary or log in.