On 27 October 2010 00:21, Richard O'Keefe <[email protected]> wrote:
> Here's the table of contents of a typical 1st year discrete mathematics book, > selected and edited: > - algorithms on integers > - sets > - functions > - relations > - sequences > - propositional logic > - predicate calculus > - proof > ... Quite a bit of this is covered by "Discrete Mathematics Using a Computer" by John O'Donnell, Cordelia Hall and Rex Page (Springer). Haskell is the implementation language, so effectively it is "Discrete Mathematics Using Haskell". It would be nice if someone wrote a geometry book using Haskell... _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
