import time
from machine import Pin


drukknopPin = 18
ledPin = 20

Controledrukknop = Pin(drukknopPin,Pin.IN, Pin.PULL_DOWN)
rodeLed = Pin(ledPin, Pin.OUT)
teller = 0
def interruptroutine(pin):
    global teller
    rodeLed.on()
    teller =teller + 1
    print("ingedrukt", teller)

Controledrukknop.irq(trigger=Pin.IRQ_RISING, handler=interruptroutine)

try:
    while True:
    # pass
    time.sleep_ms(10)
except KeyboardInterrupt:
    rodeLed.off()