Readings shared March 22, 2025
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