Rather than rely on untyped and ambiguous mathematical notation, this documentation expresses all mathematics and type definitions in strict
Haskell 2010 with no extensions. All Haskell sources are included along with the documentation and can therefore be executed from the command line
GHCi tool in order to interactively check results and experiment with functions.