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

[Stephen Tetley]

On 27 October 2010 00:21, Richard O'Keefe <ok at cs.otago.ac.nz> 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...