Reseña

Pero este libro no es solo sobre aprender un nuevo lenguaje de programación. Es sobre adoptar una mentalidad diferente, una en la que el código y las pruebas son uno solo, donde las especificaciones precisas guían el diseño, y donde la corrección se garantiza por construcción. Espero transmitirles la belleza y el poder de este enfoque.
Ya sea que sean estudiantes buscando expandir su repertorio de programación, ingenieros de software interesados en técnicas de verificación formal o simplemente curiosos explorando nuevas fronteras computacionales, confío en que encontrarán este libro iluminador y gratificante.
Emprendamos juntos este viaje hacia el fascinante mundo de la programación funcional en Agda. ¡Que la elegancia de las matemáticas y la precisión de los tipos sean nuestra guía!