Readings shared December 21, 2024
The readings shared in Bluesky on 21 December 2024 are
- Readings shared December 20, 2024. #ITP #Mizar #Math #Haskell #Python #AI
- Isabelle quick start guide. ~ Lawrence Paulson. #ITP #IsabelleHOL #Math
- An imperative programmer tries to learn Haskell. ~ Thane Thomson. #Haskell #FunctionalProgramming
- Solving perfect numbers quickly with Haskell. ~ Andrew MacGillivray. #Haskell #FunctionalProgramming