Legalese.com: software is eating law

domain : langage : company printing : postscript : adobe chips : verilog : cadence

Once you sign you can’t turn back, just like for chips.

Write in a DSL and compile to legalese.

Many software tools, but contracts are created with word documents and copy and paste.

Existing companies still working at the text: Docracy, Rocket Lawyer

Work at a higher level of abstraction, then compile to a pdf document

Perform sanity checking

L4: a formal language for contracts