Will the Catala legal programming language still be maintained in 2030?
14
1kṀ334
2031
18%
chance

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

The GitHub repo for this language is here. This resolves YES if any commit is pushed to the default branch of this repo during the calendar year 2030. It will also resolve YES if the main repo for this project is moved somewhere else, as long as there is a commit on the primary branch during that year.

Get
Ṁ1,000
to start trading!
© Manifold Markets, Inc.•Terms•Privacy