mroman42

(λ) Educational lambda calculus interpreter

:pencil: Math exercises and theory from my bachelor's degree, written in org-mode (mostly in Spanish)

Apuntes de introducción a la teoría de categorías.