Learn To Use L4

1. Must Sing Rule Example

Examine a simple legal rule in L4.

2. Home Insurance Clause Example

Formalise a longer legal rule using a home insurance policy.

3. Contract As Automaton Example

Explore ways to formalise rules with multiple sections.

4. Motor Insurance Use Case

Learn to read an L4 encoding.

5. Data Breach Notification Use Case

Study an L4 encoding of actual legislation.

6. Exercise

An exercise to quickly learn L4 syntax.

Use Law to Understand L4

Use your training in Law to learn how L4 works.

Read the examples in order

The examples here are meant to be read in this order:

1. Must Sing Rule Example,

2. Home Insurance Clause Example,

3. Contract As Automaton Example,

4. Motor Insurance Clause Example,

5. Data Breach Notification Example.

On this page, they have been arranged starting from the top left and ending at the bottom right.

There are also exercises that you can use to practice writing in L4.