valida-xyz/valida-compiler

Old, obsolete version of the Valida compiler; its replacement will become public later