Check Types with Concepts – The Motivation

Table of Contents

1. 1. Overview
2. 2. Details

1. Overview

TODO: write introduction for “Check Types with Concepts – The Motivation”.

2. Details

TODO: expand this section.