Skip to content

Instantly share code, notes, and snippets.

Row Types

When talking about Ermine, we often hear about "row types". What are row types exactly and how can we use them to reason about Ermine programs? This post is a brief attempt to make that connection.

First, we'll need some imports:

module Tutorial where