Catala
https://gyazo.com/e8d888666dd333c56833567264b883bb
法律
を作るための
DSL
元々は
INRIA
で生まれた
website
github
OCaml実装
Default logic
をfirst classの機能として組み込んでいる
#プログラミング言語