Documentation

• horizon-platform: every library in the package set, and GHC's own
• NixLab: the forge's language
• openfp: the estate's vortex libraries