Writing Anteforth, a Forth-like in SPARK (by pyj) — discussion

#concatenative #formalmethods