[Verse 1]
From Inria's halls a language came
To bridge the gap where laws and code converge
Catala is its given name
Where legal text and logic merge
No more confusion, no more doubt
When regulations spell things out
[Chorus]
Catala speaks the law in code
Domain-specific, purpose-built
Literate style shows the road
From statute text to logic's guild
Side by side they dance together
Legal words and code forever
[Verse 2]
Each article becomes a block
The programmer reads the legal text
Then writes the logic that can talk
In terms the statute architect
Intended when they wrote the rule
Catala is the faithful tool
[Chorus]
Catala speaks the law in code
Domain-specific, purpose-built
Literate style shows the road
From statute text to logic's guild
Side by side they dance together
Legal words and code forever
[Bridge]
No more guessing what laws mean
When implementation's crystal clear
The source of truth can now be seen
Where legal text and code appear
Article five, encryption rules
Written once with proper tools
[Verse 3]
Management controls need precision
When regulations must be met
Catala makes the right decision
By keeping law and logic set
In harmony, in perfect sync
That's the missing legal link
[Chorus]
Catala speaks the law in code
Domain-specific, purpose-built
Literate style shows the road
From statute text to logic's guild
Side by side they dance together
Legal words and code forever
[Outro]
From France to world, the language grows
Where faithful implementation flows
Catala knows what statute shows
That's how the formal language goes