Create a Winston Star
Create a Winston Star for the thesis and the Verdigris project. A Winston Star consists of
-
Symbol, something visual -
Slogan that is catchy -
Surprise, something counterintuitive/interesting -
Salient, focus on one essential thing, less is better – Statically Checked Refinement Types -
Story, an experience (or something contrived)
Verdigris – Refine Your Rust
Verdigris makes it possible to write specifications directly in Rust.
Story