A simple promissory note/debt contract written in L4 to demonstrate the capabilities of the L4 DSL. It contains lots of comments explaining L4 and the concepts implemented. The reference PDF shows what a contract like this might look like in real-life.

Playing with the tests is a great way to get started tinkering with the language.

You can copy the prelude, note and tests together into the same sheet in our online-editor to run it or clone, build and run the L4 IDE and run this L4 code inside VSCode.

L4 is an open-source programming language designed by Legalese to author better contracts, regulation and other rules so that both humans and computers can read and evaluate them.

• L4 online-editor: https://jl4.legalese.com
• L4 documentation: https://l4.legalese.com
• L4 IDE: https://github.com/smucclaw/l4-ide

Translate your own contracts or regulation into L4 and share it with us and we'll link it!

MIT License