haskell - temas - teoria del conocimiento intuicionismo - edu.lat