Resumen de lecturas compartidas durante mayo de 2018

Esta entrada es una recopilación de lecturas compartidas, durante mayo de 2018, en Twitter sobre programación funcional y demostración asistida por ordenador fundamentalmente.

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 durante mayo de 2018”

Resumen de lecturas compartidas durante abril de 2018

Esta entrada es una recopilación de lecturas compartidas, durante abril de 2018, en Twitter sobre programación funcional y demostración asistida por ordenador fundamentalmente.

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 durante abril de 2018”

Resumen de lecturas compartidas durante marzo de 2018

Esta entrada es una recopilación de lecturas compartidas, durante marzo de 2018, en Twitter sobre programación funcional y demostración asistida por ordenador fundamentalmente.

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 durante marzo de 2018”

Resumen de lecturas compartidas (febrero de 2018)

Esta entrada es una recopilación de lecturas compartidas, durante febrero de 2018, en Twitter sobre programación funcional y demostración asistida por ordenador fundamentalmente.

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 (febrero de 2018)”

Resumen de lecturas compartidas (enero de 2018)

Esta entrada es una recopilación de lecturas compartidas, durante enero de 2018, en Twitter sobre programación funcional y demostración asistida por ordenador fundamentalmente.

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 (enero de 2018)”