Antes de comenzar la ejecucion de estudiantes (calificar exámenes) escribire brevemente sobre lo que tratara mi tesis: el isomorfismo de curry howard, pruebas como programas , divertido ¿no?, en este momento me encuentro programando un Haskell pequeño (ms bien un lenguaje funcional), y aunque no soy un excelente programador he avanzado un tanto..... pero bueno ha lelgado la hora de reprobar gente.
No hay comentarios:
Publicar un comentario