The readings shared in Bluesky on 22 March 2025 are

• Non-obvious Haskell idiom: Guard-sequence. ~ kqr. #Haskell #FunctionalProgramming
• Learn Haskell by example. ~ Phillip Hagenlocher. #Haskell #FunctionalProgramming
• #Exercitium: Segmentos maximales con elementos consecutivos. #Haskell #ProgramaciónFuncional
• Demostraciones con Lean4 y con Isabelle/HOL de "(s ∩ t) ∪ (s ∩ u) ⊆ s ∩ (t ∪ u)". #LeanProver #IsabelleHOL #Math #Calculemus