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 (form

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.