The readings shared in Bluesky on 30 June 2025 are

• Teaching children thinking. ~ Seymour A. Papert (1971). #CompSci #Teaching
• Curso "Lógica matemática y fundamentos (2016-17)". #Lógica #Haskell #ProgramaciónFuncional #IsabelleHOL
• Curso "Razonamiento automático (2016-17)". #RazonamientoAutomático #DemostraciónInteractiva #IsabelleHOL
• Curso "Informática (2017-18)". #Haskell #ProgramaciónFuncional #Algorítmica #CálculoSimbólico #Maxima
• Temas de "Programación funcional" (2017-18). #Haskell #ProgramaciónFuncional
• Ejercicios de programación funcional con Haskell (curso 2017-18). #Haskell #ProgramaciónFuncional
• Exámenes de programación funcional con Haskell (curso 2017-18). #Haskell #ProgramaciónFuncional