用于法律文本的Catala 编程语言 。

Catala 是一种特定领域的编程语言，旨在从立法文本中派生正确的构造实现