Add tips page to the book 2

Open noughtmare opened this issue 2 months ago • 3 comments

I've rebased and addressed the comments of #881.

Oct 24 '25 20:10 noughtmare

There's a problem upstream: https://github.com/kazu-yamamoto/crypton-certificate/issues/21

Although I think we should drop these very old GHC versions. 9.6 is already old at this point.

Oct 24 '25 22:10 noughtmare

I'm not sure how I feel about this tips page. On the one hand, I'm sure some students will find it useful. On the other hand, it is quite low level and I'm not sure I agree with all of the advice. Wen and Jeremy, what do you think?

Oct 25 '25 09:10 wadler

(Also, thanks to Michael and Noughtmare for putting this together!)

Oct 25 '25 09:10 wadler