Resumen de lecturas compartidas (diciembre de 2017)
Esta entrada es una recopilación de lecturas compartidas, durante diciembre de 2017, en Twitter sobre programación funcional y demostración asistida por ordenador.
Las lecturas están ordenadas según su fecha de publicación en Twitter.
Al final de cada artículo se encuentran etiquetas relativas a los sistemas que usa o a su contenido.
Read More “Resumen de lecturas compartidas (diciembre de 2017)”