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

1. 23:12 · Mar 27, 2022 · Sun

   

   ×

   

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