The readings shared in Bluesky on 26 December 2024 are

• Readings shared December 25, 2024. #Haskell #Python #Math #ITP #LeanProver #Lean4 #Lisp #Programming
• #Exercitium: Reconocimiento de potencias de 4. #Haskell #Python #Matemáticas