Writing Anteforth, a Forth-like in SPARK

12 points by pyj