In this resource you will learn how to install the MicroPython editor mu on your Raspberry Pi, and push programs written in MicroPython from your Raspberry Pi to the micro:bit.