Current drafts: multiple posts about lambda calculus, combinatory logic and intensional/extensional equalities Stardew Valley and the coupon collector problem How to visit a botanical garden