Re: [Haskell-cafe] In what language...?

On 27 October 2010 00:21, Richard O'Keefe 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...