smart contracts

  • Lorentz: Implementing Smart Contract eDSL in Haskell
    Lorentz: Implementing Smart Contract eDSL in Haskell
    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.