Comment by liscovich

Do you know of any examples of actual legal documents written in Lisp, or some other formal language?