This is the second post in a series about Lorentz — a Haskell eDSL for the Michelson smart contract language. In this post, we will enrich Lorentz with additional functionality, adding objects with multiple fields.
Together with the TQ Group, we have been working on several tools that use Haskell to improve writing and testing Michelson code on Tezos. This is the first post in a series about one of them — Lorentz, a Haskell eDSL for Michelson smart contracts.
The results of the TON smart contracts contest are out, and our team has got the largest cash award. In this article, we give a brief intro to our submission and talk about our experience during the contest.