Hacker News Reader

When rustc is holding my hand and suggesting exactly what I should do it does feel like what the name CASE suggests

awesome 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.