Programando a Pulga usando Mbed Compiler
Uma das formas de programar a Pulga é usando o compilador online no site https://os.mbed.com/.
Para setar o target correto, é necessário abrir o compilador através deste link: https://ide.mbed.com/compiler/#platform:Nordic-nRF52-DK.
O próximo passo é criar um projeto, e adicionar a biblioteca mbed_coragem.