search

rust-lang-nursery / wg-verification

Verification working group
Apache License 2.0
104 stars 10 forks source link

Extract type information from compiler #11

Open avadacatavra opened 6 years ago