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