Estaba un poco frustrado con THRTLMP y no estaba adelantando demasiado con Haskell, así que estuve buscando en las librerías a ver si encontraba un libro nuevo. Sorprendentemente, encontré un libro maravilloso, Razonando con Haskell que es excelente para aprender Haskell además de incluir demostraciones rigurosas sobre corrección de programas y un montón de conceptos avanzados de Programación Funcional (Incluso tiene un capitulo sobre Calculo Lambda puro). Voy a hacer algunos Posts pronto con lo que estuve aprendiendo de nuevo. Fuera de eso, estoy bastante contento de ver lo mucho que estoy avanzando en matemáticas en general y como estoy pudiendo acercarme a textos y conceptos bastante complejos que hace un par de años me parecían imposibles. Así que, sigamos así!!