Competition Lexon - Glow-Lang/glow GitHub Wiki

Lexon is a language for legal contracts executable as smart contracts.

Pros:

Impressive: it actually both reads as a legal contracts and is executable as a smart contract.
Domain Specific: it does deal with the kind of transactions that matter.
Parties: it does offer the starting abstraction for dealing with adversariality

Cons:

In the end, a bit too limited on the compute side, the logic reasoning side, the economic expressiveness side.
The verbosity of it all, makes abstraction difficult.