[Haskell-cafe] ANN: haskell for mathematicians

[Ingo Blechschmidt]

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
sharing!

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?

Cheers,
Ingo