Resumen de lecturas compartidas del 25 al 31 de enero de 2020
Esta entrada es una recopilación de lecturas compartidas, del 25 al 31 de enero, 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 25 al 31 de enero de 2020”