Readings shared December 8, 2025
The readings shared in Bluesky on 8 December 2025 are:
- Formalizing polynomial laws and the universal divided power algebra. ~ Antoine Chambert-Loir, María Inés de Frutos-Fernández. #ITP #LeanProver #Math
- #Exercitium: Juego de bloques con letras. #Haskell #ProgramaciónFuncional