Las lecturas compartidas en Mastodon el 9 de mayo de 2024 son

• Lecturas compartidas el 8 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #HOL_Light #Coq #HOL4 #Math
• #Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Si M es un monoide cancelativo por la izquierda y a, b ∈ M, entonces a⋅b = a ↔ b = 1". #ITP #Lean4 #IsabelleHOL #Math
• #Exercitium: Posiciones de las diagonales principales. #Haskell #Python #Matemáticas
• Compiling higher order functions with GADTs. ~ Srijan (@_injuly). #FunctionalProgramming #Haskell
• When are functions lazy enough for lists. ~ Daniel Beskin. #FunctionalProgramming #Haskell
• Notes on Category Theory (with examples from basic mathematics). ~ Paolo Perrone. #CategoryTheory