Blog
- index
- Evaluación en cálculo lambda
- Matemáticas en Emacs
- Inducción estructural
- Mikrokosmos
- Mónadas
- Lenses, prisms, affine traversals
- Bayes as lenses
- Academic writing
- Dedekind reals in Agda
- Distribuciones discretas con mónadas
- Notes on optics
- Capturando links en org-mode
- Coinduction
- Org-drill and spaced repetition
- Fox’s theorem
- Aprendiendo Emacs