MANIFOLD
Will the Catala legal programming language still be maintained in 2030?
14
Ṁ1kṀ366
2031
19%
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.

Market context
Get
Ṁ1,000
to start trading!
© Manifold Markets, Inc.TermsPrivacy