Dockerfiles for building the images we use for CI
The Glorious Glasgow Haskell Compiler.
array package
A fork of GHC with support for type errors rewriting plugins
Notes and organizational matters.
Typing rules for Haskell