Log in to Zulip
Catala
https://zulip.catala-lang.org
Domain-specific programming language for literate programming law specification : https://catala-lang.org
Domain-specific programming language for literate programming law specification : https://catala-lang.org