Catala – DSL for deriving algorithms producing automated legal decisions