from machine import Pin
import time

ledRed  = Pin(17, Pin.OUT)
ledBlue = Pin(16, Pin.OUT)

button = Pin(14, Pin.IN)

def interrupt_routine(pin):
    ledBlue.value(not ledBlue.value())


button.irq(trigger=Pin.IRQ_FALLING, handler=interrupt_routine)

while True:
    ledRed.value(not ledRed.value())
    time.sleep(2)