technique

Check, simulate, and run procedures written in the Technique programming language