Masanori Ogino 𓀁

181351 posts 1993 follows 1215 followers

Please pay attention to random failures.

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

Catala
https://catala-lang.org/

"Catala is a domain-specific programming language designed for deriving correct-by-construction implementations from legislative texts."

法律の条文に対応する機械可読なコードを記述するプロジェクトは他にもあった気がするけれど、INRIAがやっているというのは期待値が高い。