Resumen de lecturas compartidas del 1 al 7 de marzo de 2020
Esta entrada es una recopilación de lecturas compartidas, del 1 al 7 de marzo, en Twitter fundamentalmente sobre programación funcional y demostración asistida por ordenador.
Al final de cada artículo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.
Una recopilación de todas las lecturas compartidas se encuentra en GitHub.
Read More “Resumen de lecturas compartidas del 1 al 7 de marzo de 2020”