Verilog "Hello world" example

I’ve been trying to do a bit of Verilog on the Doppler.

As a starting point, I looked at the OpenTecLab video that implements a counter and some blinking LEDs from here: (it’s linked from the Doppler README).

I tried to adapt it to Doppler, as outlined here (also has links to a github repo):

But unfortunately, there’s no LED blinking going on.

Can anyone help?

Thanks a bunch!