Interpreter of a Sigma-State language
Primary LanguageScalaMIT LicenseMIT
Interpreter for a family of Sigma-State authentication languages