Haskell commentary on the Overview
Interpreted Haskell is a good way to do a fairly literal implementation of some of the set-theoretic statements in the Overview section of the paper. The Alignment repository is an implementation of the model framework and practicable inducers. It is designed with the goal of theoretical correctness rather performance. In the links below, some of the sections of the Overview have been illustrated with a Haskell commentary using this repository. The intention is to provide both (a) code examples for the paper and (b) documentation for the code. For those readers unfamiliar with the Haskell programming language please see Haskell Introduction.