The readings shared in Bluesky on 14 August 2025 are

• Type inference for plain data. ~ Gabriella Gonzalez. #Haskell #FunctionalProgramming
• Type-machine (Using Template Haskell to derive the structure of records and simulate structural subtyping). ~ Arthur Jamet. #Haskell #FunctionalProgramming
• Using traversals to batch database queries. ~ Chris Penner. #Haskell #FunctionalProgramming
• The grind tactic. #ITP #LeanProver
• #Exercitium: Problemas de programación con Haskell (enero de 2016). #Haskell #ProgramaciónFuncional #Matemáticas