9 Apr
2022
9 Apr
'22
11:17 p.m.
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