emeryberger merged emeryberger/SnakeLean#32 · July 7, 2026 12:43 fuzz: Int→Bool predicate generation; silence point-free appendTR false-alarm #32 Two follow-ups from the campaign wrap-up.Int → Bool predicate generationGeneralizes the Char → Bool predicate machinery to any α → Bool predicate… +93 -44