Digital Legislation

Greetings from the Australasian National University where Dr. Guido Governatori is speaking on "Digital Legislation" at a AI, ML and Friends Seminar. The idea is to have legislation which computers can read and interpret as computer code. Dr. Governatori commented he was not talking about Robodebt, which failed due to a data problem, with social services not having tax data. He said he would talk about smart contracts, which are neither smart, or contracts. The claim is that this will reduce the burden on business, as an automated system can work though all the legal obligations. However, I suggest this might increase the burden, as it would allow much more, and more intricate legislation to be written. Also not only black letter law, issued by the legislature will be need to be encoded, but also case law from courts.