Avanzo un poco más

Creo que es normal que ya no escriba tanto acá. Estoy escribiendo mucho en la tesis y creo que antes cuando programaba extrañaba el castellano y usaba este medio para reencontrarme un poquito. Ahora no lo necesito tanto...

Bueno, avancé un poco más, tengo la formalización para la parte básica del lenguaje terminada y algunas demostraciones. Esta semana se viene complicada, pero si tengo tiempo voy a ver de empezar a formalizar las construcciones de alto nivel.