from machine import Pin
import time

# set up LED pin
led = Pin(13, Pin.OUT)

# set up push button pin
button = Pin(14, Pin.IN)

# set initial LED state to off
led.value(0)

# loop forever
while True:
    # if button is pressed
    if button.value() == 1:
        # toggle LED state
        led.on()
    else:
        led.off()