How Dependent Haskell Can Improve Industry Projects
In this post, we talk about Dependent Haskell and show how it could be used to simplify and improve the code in a large production codebase.
Lorentz: Generating Documentation for Smart Contracts
In this article, we'll show how you can maintain Tezos smart contract documentation with ease by using Lorentz, our eDSL for Michelson smart contracts.
December 29th, 2020
10 min read
Lorentz: Achieving Correctness with Haskell Newtypes
In this article, we will introduce you to the use of Haskell newtypes in Lorentz, the smart contract eDSL for Michelson.
July 30th, 2020
8 min read
Lorentz: Introducing Complex Objects with Haskell Generics
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.
June 5th, 2020
15 min read
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.
February 6th, 2020
17 min read