File content as of revision 0:ba4dfd7295fa:

#include "mbed.h"
#include "stdio.h"
#include "DebouncedIn.h" //Se incluye esta librería que según entiendo es la que permite guardar las pulsaciones del contactor hasta que el condicional la lea. mañana le pregunto al profe

DigitalOut myled(LED1); //La salida que ya explicó toshivo

DebouncedIn pulsador(PTC5); //Para trabajar con Botones, Puertos C y Puertos A, Librera para evitar los rebotes de los Switches!!! 

float t1;  

int main() {

   t1 = 0.02;     //EL tiempo lo inicializo en 0.2, pero el valor es el que uno quiera.
    while(1) {
                       
        myled = 1;
        
        if (pulsador.falling()) {   //Pulsador == 0 
        t1 = t1+0.1;
                }
        
        wait(t1);  
        myled = 0; 
        wait(t1);  
        
        if (pulsador==0) { 
        t1 = t1+0.1;
                }
                      
        if(t1 >= 1){ 
            t1 = 0.02;
            
            }
    }
}