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