viq, TIL https://github.com/CatalaLang/catala
"#Catala is a domain-specific programming language designed for deriving correct-by-construction implementations from legislative texts."
viq, TIL https://github.com/CatalaLang/catala
"#Catala is a domain-specific programming language designed for deriving correct-by-construction implementations from legislative texts."