Simpl This directory contains Norbert Schirmer's Simpl language and associated VCG tool. The code is covered by an LGPL licence. See https://www.isa-afp.org/entries/Simpl.html