https://github.com/serrynaimo/l4-promissory-note

A simple debt contract written in L4.
https://github.com/serrynaimo/l4-promissory-note

debt-collection l4 legal legalese rules-as-code

Last synced: about 2 months ago
JSON representation

A simple debt contract written in L4.

• Host: GitHub
• URL: https://github.com/serrynaimo/l4-promissory-note
• Owner: serrynaimo
• License: mit
• Created: 2025-06-12T10:48:11.000Z (10 months ago)
• Default Branch: main
• Last Pushed: 2025-06-27T06:12:58.000Z (9 months ago)
• Last Synced: 2025-08-16T11:23:19.976Z (8 months ago)
• Topics: debt-collection, l4, legal, legalese, rules-as-code
• Homepage: https://l4.legalese.com
• Size: 107 KB
• Stars: 1
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# l4-promissory-note

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](https://jl4.legalese.com) to run it

or clone, build and run the [L4 IDE](https://github.com/smucclaw/l4-ide) and run this L4 code inside [VSCode](https://code.visualstudio.com).

## L4 - Rules-as-code

L4 is an open-source programming language designed by [Legalese](https://legalese.com) 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](mailto:thomas@legalese.com) and we'll link it!

## License

MIT License