法律をプログラミング言語記述できる Catala の論文について読んだ感想を話し合ったりしました。

https://catala-lang.org/