Readings shared July 31, 2025
The readings shared in Bluesky on 31 July 2025 are
- The math is haunted. ~ Dan Abramov. #ProofAssistant #LeanProver #Math
- #Exercitium: Problemas de programación con Haskell (julio de 2018). #Haskell #ProgramaciónFuncional #Matemáticas
- #Exercitium: Problemas de programación con Haskell (junio de 2018). #Haskell #ProgramaciónFuncional #Matemáticas
- #Exercitium: Problemas de programación con Haskell (mayo de 2018). #Haskell #ProgramaciónFuncional #Matemáticas