3 ms·
When rustc is holding my hand and suggesting exactly what I should do it does feel like what the name CASE suggests
by jgtrosh 8y ago
When rustc is holding my hand and suggesting exactly what I should do it does feel like what the name CASE suggests
- wires 8y agoawesome comments, and we want to get that experience: a sound type-system and model checker that tells you when things go wrong (statebox' rustc) but add (formalised) graphical scaffolding to glue parts together.