It's interesting to think about how perhaps some ideas from software and programming language theory could be applied in legal settings. The requirements are q

It's interesting to think about how perhaps some ideas from software and programming language theory could be applied in legal settings. The requirements are quite similar. Unambiguous interpretation of precisely defined concepts. Particularly, it might allow much more efficient searching in legal texts. Imagine automatically searching for inconsistencies/loopholes or other "bugs" in the legal system. I'm reminded of the "oops I wrote a compiler" meme reding your comment about legalese requiring "precision and specificity ordinary language is not able to express".