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