Programming language for literate programming law specification - GitHub - CatalaLang/catala: Programming language for literate programming law specification
It's interesting to note that the author delineates "lawyer-readable" as different from "human-readable". Denotatively, of course, this makes perfect sense. Connotatively, it's rather brutal.