To control LEDs with a Micro:bit using an infrared remote control, you will need to use an infrared receiver module [...]