Catala is a domain-specific programming language designed for deriving correct-by-construction implementations from legislative texts.
use https://archive.is/FPeIz for archive instead of ipfs - my crawler breaks on substack still
Reminded of this decade old manifesto today.