4 ms·Catala Lang: DSL designed for deriving implementations from legislative texts4 points by wut42 6y ago