yuppiemephisto on My first verified imperative program · Hackerly

Comment on My first verified imperative program parent

yuppiemephisto 1y

`show_term grind` and `by grind?` should do what you want