Lecturas compartidas el 5 de abril de 2024

#FunctionalProgramming #Haskell

Buenos días

Las lecturas compartidas en Mastodon el 5 de abril de 2024 son

• Lecturas compartidas el 4 de abril de 2024. #ITP #IsabelleHOL #Lean4 #Mathlib #PVS #FunctionalProgramming #Haskell #Python

• Alias the current module with Imp. ~ Taylor Fausak. #Haskell #FunctionalProgramming

• Implicit arguments. ~ Oleg Grenrus. #Haskell #FunctionalProgramming

También están en GitHub.

Saludos, José A.

---

"Un hombre debe mostrarse agradable y servicial con las personas que el azar, la naturaleza o la propia elección han hecho compañeros de su vida." ~ Tomás Moro (1478-1535).