labandalambda

Grupo de lectura sobre cálculo-λ, reescritura, lógica, teoría de tipos, categorías, y todo lo demás.

Pinned Repositories

fg-makam
Implementación de Featherweight Go en makam
Language:Shell11
labandalambda.github.io
Language:HTML10

labandalambda's Repositories

labandalambda/fg-makam
Implementación de Featherweight Go en makam
Language:Shell11
labandalambda/labandalambda.github.io
Language:HTML10