Posts
- Evaluación en el cálculo lambda - October 25, 2017
- Try Mikrokosmos - August 28, 2017
- Mikrokosmos 0.3.0 - July 22, 2017
- Capturando links en org-mode - March 23, 2017
- Projective, injective, and flat modules - February 18, 2017
- Lema de Yoneda - February 17, 2017
- Mónadas - December 24, 2016
- Distribuciones discretas con mónadas - December 10, 2016
- Wikipedia contributions - October 29, 2016
- Matemáticas en Emacs - September 26, 2016
- Aprendiendo Emacs - September 19, 2016
- Ideas de teoría de tipos - January 8, 2016
- Inducción estructural - March 14, 2015