//#include "pwmfuncs.c"
#include <stdint.h>
#include "pico/stdlib.h"
#include "hardware/pwm.h"
#include "hardware/clocks.h"
#include "hardware/gpio.h"

const int8_t pwm_pin = 3;
// frequency array  
uint32_t frequency[]={659,554,659,554,440,494,554,587,494,659,554,440};    
// note length array
float beat[]={1,1,1,1,1,0.5,0.5,1,1,1,1,2};  

int main() {
	// Setup PWM on GP3
    gpio_set_function(pwm_pin, GPIO_FUNC_PWM);
	uint slice_num = pwm_gpio_to_slice_num(pwm_pin);
    uint chan = pwm_gpio_to_channel(pwm_pin);
    // enable PWM
    pwm_set_enabled(slice_num,true);

    // Use 50% duty cycle
    for (int loop=0; loop<=11; loop++) {
        pwm_set_freq_duty(slice_num,chan,frequency[loop],50);
        sleep_ms(400*beat[loop]);
    }
    //disable PWM
    pwm_set_enabled(slice_num,false);
}