The readings shared in Bluesky on 10 July 2025 are

• The Haskell Unfolder Episode 46: Developing an application from scratch. ~ Edsko de Vries, Andres Löh. #Haskell #FunctionalProgramming
• Curso "Razonamiento automático (2019-20)". #DemostraciónInteractiva #ProgramaciónFuncional #IsabelleHOL