[Haskell-cafe] ANN: haskell for mathematicians

Ingo Blechschmidt iblech at web.de
Sat Apr 9 23:17:14 UTC 2022

Dear Olaf,

On Sat 09 Apr 2022 10:45:56 PM GMT, Olaf Klinke wrote:
> my monograph "Haskell for Mathematicians" has found a home online:
> https://hub.darcs.net/olf/haskell_for_mathematicians

I just had a first look, your monograph looks awesome! Thank you for

In haskell_for_mathematicians.tex, you mention as a further idea that
Hask is like a Heyting algebra. Could you elaborate on that point? Are
you thinking of types as propositions here?


More information about the Haskell-Cafe mailing list