Las lecturas compartidas en Mastodon el 12 de julio de 2024 son

• Lecturas compartidas el 11 de julio de 2024. #ITP #Lean4 #IsabelleHOL #Math
• Functional programming in learning electromagnetic theory. ~ Scott N. Walck. #FunctionalProgramming #Haskell #Physics
• Building a data compression utility in Haskell using Huffman codes. ~ Marcelo Lazaroni (@Marcelolaza). #FunctionalProgramming #Haskell
• Collatz computations in base 2 and 3. ~ Chris Smith. #FunctionalProgramming #Haskell #Math
• The flower calculus. ~ Pablo Donato. #ITP #Coq #Logic