Readings shared November 26, 2025
The readings shared in Bluesky on 26 November 2025 are:
- Verifying numerical methods with Isabelle/HOL. ~ Dustin Bryant, Jonathan Julian Huerta y Munive, Simon Foster. #ITP #IsabelleHOL #Math
- Introduction to functional programming. ~ Noam Zeilberger. #Haskell #FunctionalProgramming
- First-order data types and pattern-matching ~ Noam Zeilberger. #Haskell #FunctionalProgramming
- Higher-order functions and type classes. ~ Noam Zeilberger. #Haskell #FunctionalProgramming
- Lambda calculus and typing. ~ Noam Zeilberger. #Haskell #FunctionalProgramming #LambdaCalculus #TypeTheory
- #Exercitium: Expresiones vectoriales. #Haskell #ProgramaciónFuncional #Matemáticas