Comment on My first verified imperative programparentComments−alexisread1yFreeforth (implicit) and Ableforth (deliberately explicit)
Comments
Freeforth (implicit) and Ableforth (deliberately explicit)