Learn You an Agda and Achieve Enlightenment!

Como todos tendemos a la iluminación les quiero recomendar esta pagina, en la cual nos enseñan sobre el lenguaje Agda. Para el que no leyó el post anterior Agda es un lenguaje funcional con dependently typed. A la vez esta muy emparentado con nuestro amigo Haskell. Por lo que es bueno tener nociones de Haskell antes de leer esta libro.

Sin más y esperando la iluminación, dejo link:
http://learnyouanagda.liamoc.net/