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 ...

This is a literate Haskell page: you can load it directly into ghci by following these steps. (These notes are based in part on chapter 10 of Haskell Programming from First Principles, by Christopher ...