The following is based in part on https://www.haskell.org/tutorial/, other Haskell web resources, and the 2014 book Thinking Functionally in Haskell by Richard Bird ...

This is a literate Haskell page: you can load it directly into ghci by following these steps. In mathematics, functions like equality, addition, concatenation, etc. have been studied in detail, and so ...