Terminando mi maestría, me gustaría volver a mi alma mater a dar clases de "Programas como Pruebas" (en Haskell). Hasta donde se no hay un currículo al respecto en la uni, pero podría intentarlo...

#haskell #programsasproofs #functionalprogramming #curryhoward